A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)
- 31 July 2020
- book chapter
- Published by Springer Nature
- p. 67-81
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Qualification of Hardware Description Language Designs for Safety Critical Applications in Nuclear Power PlantsIEEE Transactions on Nuclear Science, 2020
- Formal Verification Methodology in an Industrial Setup2019
- Foliations of Coverage: Introducing Functional Coverage to DO-254 Verification Projects2019
- 2018 FPGA Functional Verification Trends2018
- A Survey on Formal Verification Techniques for Safety-Critical Systems-on-ChipElectronics, 2018
- Formal verification methodology for real‐time Field Programmable Gate ArrayIET Computers & Digital Techniques, 2017
- Is the current DO-254 verification process adequate for the future?2012
- Advanced verification methods and safety critical hardware2012
- Verification Methodology Manual for SystemVerilog2006
- Evaluating the effectiveness of independent verification and validationComputer, 1999