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