A framework-based realization of an environment for formal hardware verification

Publisher Website

30 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/edac.1993.386503

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Why to incorporate a data definition language into a CAD frameworks extension language
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Prevail-DM: a framework-based environment for formal hardware verification
Published by Elsevier ,1993
Formal verification of VHDL descriptions in the Prevail environment
IEEE Design & Test of Computers, 1992
Design version management in the GARDEN framework
Published by Association for Computing Machinery (ACM) ,1991
Electronic CAD frameworks
Proceedings of the IEEE, 1990
The object-oriented integration methodology of the Cadlab work station design environment
Published by Association for Computing Machinery (ACM) ,1989