|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Design of Testable Structures Defined by Simple Loops
November 1981 (vol. 30 no. 11)
pp. 875-884
| ASCII Text | x | ||
| J.A. Abraham, D.D. Gajski, "Design of Testable Structures Defined by Simple Loops," IEEE Transactions on Computers, vol. 30, no. 11, pp. 875-884, November, 1981. | |||
| BibTex | x | ||
| @article{ 10.1109/TC.1981.1675718, author = {J.A. Abraham and D.D. Gajski}, title = {Design of Testable Structures Defined by Simple Loops}, journal ={IEEE Transactions on Computers}, volume = {30}, number = {11}, issn = {0018-9340}, year = {1981}, pages = {875-884}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1981.1675718}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - Design of Testable Structures Defined by Simple Loops IS - 11 SN - 0018-9340 SP875 EP884 EPD - 875-884 A1 - J.A. Abraham, A1 - D.D. Gajski, PY - 1981 KW - tree structures KW - Design automation KW - recurrences KW - register-transfer-level descriptions KW - self-checking KW - testing VL - 30 JA - IEEE Transactions on Computers ER - | |||
A methodology is given for generating combinational structures from high-level descriptions (using assignment statements, "if" statements, and single-nested loops) of register-transfer (RT) level operators. The generated structures are cellular, and are interconnected in a tree structure. A general algorithm is given to test cellular tree structures with a test length which grows only linearly with the size of the tree. It is proved that this test length is optimal to within a constant factor. Ways of making the structures self-checking are also indicated.
Index Terms:
tree structures, Design automation, recurrences, register-transfer-level descriptions, self-checking, testing
Citation:
J.A. Abraham, D.D. Gajski, "Design of Testable Structures Defined by Simple Loops," IEEE Transactions on Computers, vol. 30, no. 11, pp. 875-884, Nov. 1981, doi:10.1109/TC.1981.1675718
Usage of this product signifies your acceptance of the Terms of Use.