Prevail-DM: a framework-based environment for formal hardware verification

This publication has 5 references indexed in Scilit:

• A framework-based realization of an environment for formal hardware verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal verification of VHDL descriptions in the Prevail environment
  IEEE Design & Test of Computers, 1992
• Electronic CAD frameworks
  Proceedings of the IEEE, 1990
• An object oriented approach to CAD tool control within a design framework
  Published by Association for Computing Machinery (ACM) ,1989
• VLSI CAD Tool Integration Using the Ulysses Environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986