Dismiss
The InnovationQ application will be updated on Sunday, May 31st from 10am-noon ET. You may experience brief service interruptions during that time.
Browse Prior Art Database

Switching Circuit Verification

IP.com Disclosure Number: IPCOM000050439D
Original Publication Date: 1982-Oct-01
Included in the Prior Art Database: 2005-Feb-10

Publishing Venue

IBM

Related People

Authors:
Roth, JP [+details]

Abstract

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.