Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Levendel et al. (1982) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: