Title :
System design utilizing integrated specification and performance models
Author :
Sarka, Ambar ; Waxman, Ronald ; Cohoon, James P.
Author_Institution :
Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
Abstract :
We discuss bringing two early stages of digital system design-operational specification modeling and performance modeling-under the same simulation environment. This unification is possible by integrating the operational specification model and the performance model for a given system under design, so that the two models can be simultaneously simulated and analyzed in a synergistic manner. Such an integration enables a novel design methodology that makes specification modeling an integral part of the design process
Keywords :
circuit CAD; formal specification; performance evaluation; specification languages; design process; digital system design; operational specification modeling; performance modeling; performance models; simulation environment; Analytical models; Computational modeling; Computer science; Computer simulation; Costs; Design methodology; Digital systems; Performance analysis; Process design; System performance;
Conference_Titel :
VHDL International Users Forum. Spring Conference, 1994. Proceedings of
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-6215-8
DOI :
10.1109/VIUF.1994.323961
