Name
Title | ||
|---|---|---|
On generation of the minimum pattern set for data path elements in SoC design verification based on port order fault model |
Abstract | ||
|---|---|---|
Embedded cores are being increasingly used in the design of large System-on-a-Chip. Because of the high complexity of SoC, the design verification is a challenge for system integrator To reduce the verification complexity, the port order fault model proposed by Tung and Jou (1998) has been used for verifying core-based designs and the corresponding verification pattern generation have been developed. Adders and multipliers are the most often used data path elements in core-based designs. Due to their regularity, the development of the verification pattern sets can be achieved in a systematic method. In this paper, we present the algorithms of generating the minimum verification pattern sets for adders and multipliers and these pattern sets are much smaller than that obtained from the automatic verification pattern generation proposed by Wang, Tung and Jou (2001) |
Year | DOI | Venue |
|---|---|---|
2001 | 10.1109/HLDVT.2001.972821 | HLDVT |
Keywords | Field | DocType |
adders,verification complexity,minimum pattern set,design verification,pattern set,minimum verification pattern set,minimum verification pattern sets,system-on-a-chip design verification,core-based design,soc design verification,automatic test pattern generation,high complexity,port order fault model,data path element,verification pattern generation,verification pattern set,multipliers,corresponding verification pattern generation,embedded systems,data path elements,core-based designs,formal verification,logic testing,automatic verification pattern generation,testing,system on a chip,data engineering,manufacturing,fault model,system integration,design methodology,availability,soc,cost function | Automatic test pattern generation,Adder,Data path,Computer science,Integrator,Real-time computing,Runtime verification,High-level verification,Fault model,Formal verification | Conference |
ISBN | Citations | PageRank |
0-7695-1411-1 | 0 | 0.34 |
References | Authors | |
4 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Wang Chun-Yao | 1 | 251 | 36.08 |
| Shing-Wu Tung | 2 | 33 | 6.60 |
| Jing-Yang Jou | 3 | 681 | 88.55 |