DocumentCode
2554206
Title
Challenges in System on Chip Verification
Author
Bamford, Noah ; Bangalore, Rekha K. ; Chapman, Eric ; Chavez, Hector ; Dasari, Rajeev ; Lin, Yinfang ; Jimenez, Edgar
Author_Institution
Freescale Semicond. Ltd., Austin
fYear
2006
fDate
4-5 Dec. 2006
Firstpage
52
Lastpage
60
Abstract
The challenges of system on a chip (SoC) verification is becoming increasingly complex as submicron process technology shrinks die size, enabling system architects to include more functionality in a single chip solution. A functional defect refers to the feature sets, protocols or performance parameters not conforming to the specifications of the SoC. Some of the functional defects can be solved by software workarounds but some require revisions of silicon. The revision of silicon not only costs millions of dollars but also impacts time to market, quality, customer commitments. Working silicon for the first revision of the SoC requires a robust module, chip and system verification strategy to uncover the logical and timing defects before tapeout. Different techniques are needed at each level (module, chip and system) to complete verification. In addition verification should quantify with a metric at every hierarchy to assess functional holes and address it. Verification metric can be a combination of code coverage, functional coverage, assertion coverage, protocol coverage, interface coverage and system coverage. A successful verification strategy also requires the test bench to be scalable, configurable, support reuse of functional tests, integration with tools and finally linkage to validation. The scope of this paper will discuss the verification strategy and pitfalls used in verification strategy and finally make recommendations for successful strategy.
Keywords
electronic design automation; formal specification; logic testing; program verification; system-on-chip; assertion coverage; code coverage; feature set; functional coverage; interface coverage; protocol coverage; system-on-chip verification; Clocks; Cost function; Hardware; Logic; Protocols; Robustness; Silicon; System-on-a-chip; Testing; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Microprocessor Test and Verification, 2006. MTV '06. Seventh International Workshop on
Conference_Location
Austin, TX
ISSN
1550-4093
Print_ISBN
0-7695-2839-2
Type
conf
DOI
10.1109/MTV.2006.5
Filename
4197222
Link To Document