Abstract:
An extended alphabet is introduced for calculus of $D$-cubes where the area in which cubes and $D$-cubes are defined; uncertainties due to forbidden input values of discrete device elements are recognized. A subclass of constant faults is identified that require repeated procedures of test design and analysis.