Original Publication Date: 1982-Jun-01
Included in the Prior Art Database: 2005-Feb-09
A common failure in large-scale integration (LSI) and very large scale integration (VLSI) circuits is the short. Methods for their detection in the event that they do not introduce feedback (cyclic case) are well known. The following applies the D-calculus to compute tests for the cyclic case for a general technology including MOSFET and bipolar logic. The running time is comparable to that of the D-algorithm.