Browse Prior Art Database

LSI Verification Method Requiring No Extra Hardware

IP.com Disclosure Number: IPCOM000068853D
Original Publication Date: 1978-Feb-01
Included in the Prior Art Database: 2005-Feb-20

Publishing Venue

IBM

Related People

Authors:
Roth, JP [+details]

Abstract

Verification of the correctness of computer designs is a mandatory part of their design and fabrication, Large-scale integration (LSI) makes engineering changes prohibitive in cost and time. Verification of design A is usually defined in terms of proof of equivalence with some other "standard" design B. When the designs are acyclic, the algorithm VERIFY [1] determines their equivalence or produces a counter-example (nonequivalence). For cyclic designs, eliciting in general sequential behavior, because of indeterminate behavior (races, hazards), it does not appear possible to develop a similar algorithm [2]. Schemes for design have been devised which render the cyclic case equivalently acyclic for test-and-verification purposes. It was used in IBM System/ 360 with SCAN. Density increase and pin scarcity made SCAN obsolete.