Why partial design verification works better than it should.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


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 languageEnglish (US)
Title of host publicationProceedings - Design Automation Conference
PublisherPubl by IEEE
Number of pages4
ISBN (Print)0818688645
StatePublished - 1988
Externally publishedYes

Publication series

NameProceedings - Design Automation Conference
ISSN (Print)0146-7123

All Science Journal Classification (ASJC) codes

  • General Engineering

Cite this