Automated RTL verification based on predicate calculus

This publication has 6 references indexed in Scilit:

• Formal verification of hardware correctness: introduction and survey of current research
  Computer, 1988
• Abstraction Mechanisms for Hardware Verification
  Published by Springer Nature ,1988
• A Proof of Correctness of the Viper Microprocessor: The First Level
  Published by Springer Nature ,1988
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Verify: A program for proving correctness of digital hardware designs
  Artificial Intelligence, 1984
• A Comparison of Register Transfer Languages for Describing Computers and Digital Systems
  IEEE Transactions on Computers, 1975