Browsing Technical and Research Reports by Subject "Verificacao : Hardware"
Now showing items 1-1 of 1
-
Prevail-dm : a framework-based environment for formal hardware verification
(Imag, 1992) [Technical and Research Report]This report describes the framework-based PREVAIL-DM design environment for formal hardware verification. PREVAIL-DM integrates proof tools that are available in the PREVAIL environment around a common, VHDL-based conceptual ...