Browsing Technical and Research Reports by Subject "Cad : Sistemas digitais"
Now showing items 1-3 of 3
-
Design methodology management in the star framework
(CPGCC da UFRGS, 1991) [Technical and Research Report]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
(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 ... -
The data model of the star framework
(CPGCC da UFRGS, 1991) [Technical and Research Report]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 ...