Title :
Predicting the performance of SoC verification technologies
Author :
Peterson, Gregory D.
Author_Institution :
Dept. of Electr. & Comput. Eng., Tennessee Univ., Knoxville, TN, USA
Abstract :
Verification demands for system on chip (SoC) design looms as one of the most significant challenges to designers. With the substantial costs and increasing importance of system verification technologies, determining the best verification strategy is critical to SoC design and business success. The paper focuses on how a designer can apply a model to perform tradeoffs between the different types of emulation, hardware acceleration, and simulation verification tools available. The predictive power of the modeling approach is applied to usage scenarios to determine the most appropriate verification strategy to employ in current or future SoC development efforts
Keywords :
formal verification; hardware description languages; logic CAD; logic simulation; SoC verification technologies; emulation; hardware acceleration; performance prediction; simulation verification tools; system verification technologies; Acceleration; Costs; Discrete event simulation; Emulation; Formal verification; Hardware; Moore´s Law; Power system modeling; System-on-a-chip; Virtual prototyping;
Conference_Titel :
VHDL International Users Forum Fall Workshop, 2000. Proceedings
Conference_Location :
Orlando, FL
Print_ISBN :
0-7695-0890-1
DOI :
10.1109/VIUF.2000.890258