Model Checking in Industrial Hardware Design
- 1 December 1995
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the 39th conference on Design automation - DAC '02
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Synchronous designs in VHDLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- HSISPublished by Association for Computing Machinery (ACM) ,1994
- Fitting formal methods into the design cyclePublished by Association for Computing Machinery (ACM) ,1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Reducing BDD size by exploiting functional dependenciesPublished by Association for Computing Machinery (ACM) ,1993
- Algorithms for approximate FSM traversalPublished by Association for Computing Machinery (ACM) ,1993
- Model checking and abstractionPublished by Association for Computing Machinery (ACM) ,1992
- Proof-aided design of verified hardwarePublished by Association for Computing Machinery (ACM) ,1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986