A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME).
Katharina Ceesay-SeitzHamza BoukabacheDaniel PerrinPublished in: SAFECOMP (2020)