Abstract | ||
---|---|---|
Existing timing verification tools can provide methodologies for identifying and optimizing critical true paths in an embedded combinational module; however, the problem of justifying these paths to the chip level is a very difficult one. This paper addresses the problem of timing verification at the entire chip level. We use a critical path tool, CRITIC, to obtain critical paths in an embedded combinational module. In order to reduce the complexity of checking whether the module-level critical path is indeed critical at the chip level, we use techniques from formal verification to extract the control behavior of the circuit, and check whether there is any control sequence which will justify the path to the chip level. The results of the experiments on several processor designs show that our approach is very effective in large sequential circuits such as microprocessors, where conventional ATPG techniques require inordinate amounts of CPU time. The experiments also show that the execution time remains reasonable as the circuit size increases, since we deal with a reduced control space rather than the entire state space of the circuit. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1109/VTEST.1997.599465 | VTS |
Keywords | Field | DocType |
chip level,circuit size increase,embedded combinational module,control behavior,control sequence,module-level critical path,critical path tool,entire chip level,chip-level functional timing,critical true path,critical path,novel solution,sequential circuits,combinational circuits,chip,critical path analysis,design for testability,formal verification,state space | Design for testing,Automatic test pattern generation,Sequential logic,Computer science,CPU time,Chip,Electronic engineering,Combinational logic,Real-time computing,Critical path method,Formal verification | Conference |
ISSN | ISBN | Citations |
1093-0167 | 0-8186-7810-0 | 1 |
PageRank | References | Authors |
0.37 | 14 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
R. Jayabharathi | 1 | 12 | 4.42 |
Kyung Tek Lee | 2 | 7 | 1.02 |
J. Abraham | 3 | 4905 | 608.16 |