Engineering Change Verification
Original Publication Date: 1982-Oct-01
Included in the Prior Art Database: 2005-Feb-10
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.