Ground temporal logic: A logic for hardware verification
- 1 January 1994
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 247-259
- https://doi.org/10.1007/3-540-58179-0_59
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Automatic verification of pipelined microprocessor controlLecture Notes in Computer Science, 1994
- Model checking and abstractionPublished by Association for Computing Machinery (ACM) ,1992
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992
- Representing circuits more efficiently in symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1991
- Formal hardware verification by symbolic ternary trajectory evaluationPublished by Association for Computing Machinery (ACM) ,1991
- Formal verification of a pipelined microprocessorIEEE Software, 1990
- Half-order modal logic: how to prove real-time propertiesPublished by Association for Computing Machinery (ACM) ,1990
- Sequential circuit verification using symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1990
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979