Title :
Virtual prototyping
Author :
Rowson, James A.
Author_Institution :
Alta Group, Sunnyvale, CA, USA
Abstract :
This paper presents a brief tutorial on verification at the system level. Verification is pulled apart into separate tasks, each task aimed at answering specific verification questions. Because no single verification technique can address all areas, a “stack” of verification approaches is postulated. The bulk of the paper is focused on two of the most abstract verification tasks, here termed Virtual Prototyping and Virtual Architecture
Keywords :
CAD; design engineering; formal verification; system level verification stack; virtual architecture; virtual prototyping; Algorithm design and analysis; Buildings; Computational modeling; Costs; Focusing; Mathematical model; Parallel processing; Protocols; Pulp manufacturing; Virtual prototyping;
Conference_Titel :
Custom Integrated Circuits Conference, 1997., Proceedings of the IEEE 1997
Conference_Location :
Santa Clara, CA
Print_ISBN :
0-7803-3669-0
DOI :
10.1109/CICC.1997.606591
