Navegação por Assunto "Verificacao : Hardware"

Resultados 1-1 de 1

    • Prevail-dm : a framework-based environment for formal hardware verification 

      Wagner, Flavio Rech (Imag, 1992) [Relatório Técnico e de Pesquisa]
      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 ...