Browse Prior Art Database

Engineering Change Verification Disclosure Number: IPCOM000050435D
Original Publication Date: 1982-Oct-01
Included in the Prior Art Database: 2005-Feb-10

Publishing Venue


Related People

Epstein, ME Roth, JP [+details]


One of the major problems of the industry is the removal of "bugs" from design algorithms, whether in the form of hardware or of software. Location of design errors in hardware has been infinitely more successful than for software. Nevertheless, the capacity of present hardware algorithms for verification is still barely sufficient for current machines. Essentially, the verification algorithms consider TWO machines, the "new" and the "old"; it then considers these as a single design, roughly twice as large.