A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME).

Katharina Ceesay-Seitz, Hamza Boukabache, Daniel Perrin

Browse the full SAFECOMP paper archive.