Switching Circuit Verification
Original Publication Date: 1982-Oct-01
Included in the Prior Art Database: 2005-Feb-10
Switching circuits provide well-known means for realizing logical and arithmetic functions. Designed originally in relay contacts, there has been a resurgence due to designs in large-scale integrated technologies (1), particularly using field-effect transistors. As with logic gate circuits, verification of the correctness of field-effect transistor designs is an important problem. A technique is described for determining the equivalence of two switching-circuit designs.