Abstract
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 |
| Pages | 704-707 |
| Number of pages | 4 |
| ISBN (Print) | 0818688645 |
| State | Published - 1988 |
| Externally published | Yes |
Publication series
| Name | Proceedings - Design Automation Conference |
|---|---|
| ISSN (Print) | 0146-7123 |
All Science Journal Classification (ASJC) codes
- General Engineering