Name
Title | ||
|---|---|---|
A Hierarchical Test Generation Approach Using Program Slicing Techniques on Hardware Description Languages |
Abstract | ||
|---|---|---|
Sequential Automatic Test Pattern Generation is extremely computation intensive and produces acceptable results only on relatively small designs. Hierarchical approaches that target one module at a time and use ad-hoc abstractions for the rest of the design, have shown promising results in reducing the test generation complexity. This paper develops an elegant theoretical basis, based on program slicing, for hierarchical test generation. The technique to systematically obtain a “constraint slice” for each embedded module under test within a design, is described in detail. The technique has been incorporated in an automated tool for Verilog designs, and results on large benchmark circuits show the significant benefits of the approach. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1023/A:1022885523034 | J. Electronic Testing |
Keywords | Field | DocType |
program slicing,data-flow analysis,hierarchical test generation,constraint slicing,incremental slicing | Program slicing,Automatic test pattern generation,Computer science,Data-flow analysis,Real-time computing,Verilog,Electronic circuit,Hierarchical test,Computation,Hardware description language | Journal |
Volume | Issue | ISSN |
19 | 2 | 1573-0727 |
Citations | PageRank | References |
12 | 0.71 | 17 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| vivekananda m vedula | 1 | 106 | 7.74 |
| J. Abraham | 2 | 4905 | 608.16 |
| Jayanta Bhadra | 3 | 140 | 20.43 |
| Raghuram S. Tupuri | 4 | 114 | 10.63 |