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 sizing the effort of going through a less-than-perfect design-verification process and explaining why many design errors are relatively easily caught.
|Original language||English (US)|
|Title of host publication||Proceedings - Design Automation Conference|
|Publisher||Publ by IEEE|
|Number of pages||4|
|State||Published - Dec 1 1988|
|Name||Proceedings - Design Automation Conference|
All Science Journal Classification (ASJC) codes