Cargando…
A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)
Electronic systems that are related to human safety need to comply to strict international standards such as the IEC 61508. We present a functional verification methodology for highly parametrizable, continuously operating, safety-critical real-time systems implemented in FPGAs. It is compliant to I...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-030-54549-9_5 http://cds.cern.ch/record/2740501 |