DDD-FM9001: Derivation of a verified microprocessor

This publication has 6 references indexed in Scilit:

• Manipulating logical organization with system factorizations
  Published by Springer Nature ,1990
• A Tactical Framework for Hardware Design
  Published by Springer Nature ,1988
• 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
• The Application of Program Verification to Hardware Verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• Binary Decision Diagrams
  IEEE Transactions on Computers, 1978