Navegação Relatórios Técnicos e de Pesquisa por Assunto "Cad : Sistemas digitais"

Resultados 1-3 de 3

    • Design methodology management in the star framework 

      Wagner, Flavio Rech; Lima, Arnaldo H. Viegas de (CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]
      The design methodology management (dmm) model of the STAR framework is presented. As opposed to other approaches, where dmm is based only on design flow control, in STAR it is achieved through a coupling of task flow control ...

    • 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 ...

    • The data model of the star framework 

      Wagner, Flavio Rech (CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]
      This report presents the data model for the design framework STAR. STAR is an open framework for the design of eletronic circuits and systems, that provides powerful facilities for data and design management, as well as ...