The Community for Technology Leaders
Green Image
Issue No. 07 - July (1982 vol. 31)
ISSN: 0018-9340
pp: 577-588
Y.H. Levendel , Bell Laboratories
This paper proposes an extension of the D-algorithm to functions described in computer hardware description languages. The proposed extension is applicable to both procedural and nonprocedural languages. Methods of D-propagation through the basic constructs of these languages and test generation for circuits containing functions described in CHDL's are discussed. The fault modes considered are function variables stuck at 0 or 1, control faults, and function faults with user-specified faulty behaviors.
test generation, D-algorithm, functional blocks, nonprocedural CHDL, procedural CHDL

Y. Levendel and P. Menon, "Test Generation Algorithms for Computer Hardware Description Languages," in IEEE Transactions on Computers, vol. 31, no. , pp. 577-588, 1982.
92 ms
(Ver 3.3 (11022016))