FoCs – Automatic Generation of Simulation Checkers from Formal Specifications
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 538-542
- https://doi.org/10.1007/10722167_40
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Checking formal specifications under simulationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A methodology for the verification of a “system on chip”Published by Association for Computing Machinery (ACM) ,1999
- Design constraints in symbolic model checkingPublished by Springer Nature ,1998
- On-the-fly model checking of RCTL formulasPublished by Springer Nature ,1998
- Formal verification made easyIBM Journal of Research and Development, 1997
- Efficient detection of vacuity in ACTL formulasPublished by Springer Nature ,1997
- RuleBasePublished by Association for Computing Machinery (ACM) ,1996
- I'm done simulating; now what? Verification coverage analysis and correctness checking of the DEC chip 21164 Alpha microprocessorPublished by Association for Computing Machinery (ACM) ,1996