Listar Reportes Técnicos y de Investigación por tema "Verificacao : Hardware"
Mostrando ítems 1-1 de 1
-
Prevail-dm : a framework-based environment for formal hardware verification
(Imag, 1992) [Reporte Técnico y de Investigación]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 ...