Formal hardware verification methods: A survey

This publication has 96 references indexed in Scilit:

• Formal verification of hardware correctness: introduction and survey of current research
  Computer, 1988
• Boolean Analysis of MOS Circuits
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
• Algorithmic Aspects of Symbolic Switch Network Analysis
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
• COSMOS: a compiled simulator for MOS circuits
  Published by Association for Computing Machinery (ACM) ,1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
  Lecture Notes in Computer Science, 1986
• Proof of correctness of data representations
  Acta Informatica, 1972
• Metalogic
  Published by Springer Nature ,1971
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967