Design Automation Conference (1988)
Anaheim, CA, USA
June 12, 1988 to June 15, 1988
Savir , IBM Corp., Poughkeepsie, NY, USA
The problem of verifying the correctness of a combinatorial design is known to be NP-complete. Nevertheless, most products reaching the consumer are functionally correct. The author attempts to explain this phenomenon by considering the effort of going through a less-than-perfect design-verification process and then explains why many design errors are relatively easily caught.
logic testing, partial design verification, combinatorial design, design errors
Savir, "Why partial design verification works better than it should," Design Automation Conference(DAC), Anaheim, CA, USA, 1988, pp. 704-707.