Why partial design verification works better than it should

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 considering the effort of going through a less-than-perfect design-verification process and then explains why many design errors are relatively easily caught.<>