Switching vector generation for electrical circuits

摘要

Method for generating a set of switching vectors where each vector S1-Si causes the output X to transition in the predetermined way provided that the input A transitions in the selected way. This method may be used for any electrical circuit cluster, including the simple one illustrated in FIG. 3. This method handles any number of side inputs, gate clusters which have feedback within the gate cluster, and gate clusters which have internal nodes that may be in a third state other than a logic level one or a logic level zero (e.g. a high impedance state).