Panel discussion: is there a crisis in hardware verification?

摘要

Software systems are debugged by the user community over time. Every software product is followed by a potentially infinite sequence of patches. The same is true of hardware products, including processors, although sometimes compilers help us with the work arounds. It seems clear that hardware designers will be using formal verification both within and between levels, and test vectors, for the foreseeable future.