The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1981 vol.30)
pp: 875-884
J.A. Abraham , Coordinated Science Laboratory, University of Illinois
ABSTRACT
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, "Design of Testable Structures Defined by Simple Loops", IEEE Transactions on Computers, vol.30, no. 11, pp. 875-884, November 1981, doi:10.1109/TC.1981.1675718
30 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool