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. A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME). In António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira 0005, editors, Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings. Volume 12234 of Lecture Notes in Computer Science, pages 67-81, Springer, 2020. [doi]