Naslov
Design of Testable Structures Defined by Simple Loops

Autori
Abraham, J. A. ; Gajski, Danijel

Izvornik
IEEE Transactions on Computers (0018-9340) 30 (1981), 11; 875-884

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
design automation; recurrences; register-transfer-level descriptions; self-checking; testing; tree structures

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA