Model checking in a microprocessor design project
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 214-225
- https://doi.org/10.1007/3-540-63166-6_22
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- RuleBasePublished by Association for Computing Machinery (ACM) ,1996
- Model Checking in Industrial Hardware DesignProceedings of the 39th conference on Design automation - DAC '02, 1995
- Using formal verification/analysis methods on the critical path in system design: A case studyPublished by Springer Nature ,1995
- Methodology and system for practical formal verification of reactive hardwarePublished by Springer Nature ,1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Model checking and abstractionPublished by Association for Computing Machinery (ACM) ,1992
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986