Title :
System-level verification-a comparison of approaches
Author_Institution :
Quickturn Design Syst., San Jose, CA, USA
Abstract :
Design verification is beginning to dominate design cycle times as design complexity increases. As more and more electronic products have software content-and many of them large software content-software verification is often the pacing factor in completing a product. Designers are often faced with serious project delays when they wait for first silicon to begin software debugging. System-level verification addresses verification of ASIC/IC, board-level design, FPGA programming, and software with as much concurrency as possible with the goal of minimizing the project schedule. There are a variety of approaches to system-level verification depending on the verification objectives and performance requirements. This paper will describe four different approaches to system verification and the trade-offs of each approach. Examples from actual projects will be used to demonstrate the application of each approach. Recommendations for determining the best verification approach are also given
Keywords :
application specific integrated circuits; field programmable gate arrays; formal verification; hardware-software codesign; minimisation; ASIC/IC; FPGA programming; board-level design; design verification; electronic products; project delays; project schedule minimization; software verification; system-level verification; Application specific integrated circuits; Delay; Electrical capacitance tomography; Field programmable gate arrays; Hardware; Product development; Silicon; Software debugging; Software performance; Testing;
Conference_Titel :
Rapid System Prototyping, 1999. IEEE International Workshop on
Conference_Location :
Clearwater, FL
Print_ISBN :
0-7695-0246-6
DOI :
10.1109/IWRSP.1999.779046