A METHODOLOGY FOR PROVING CORRECTNESS OF PARAMETERIZED HARDWARE MODULES IN HOL

This publication has 4 references indexed in Scilit:

• Formal specification and verification of microprocessor systems
  Integration, 1989
• Evolution of CAD tools towards third generation custom VLSI design
  Revue de Physique Appliquée, 1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• An Intelligent Module Generator Environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986