Promising directions in hardware design verification

Ensuring the functional correctness of hardware early in the design cycle is crucial for both economic and method-ological reasons. However, current verification techniques are inadequate for industrial designs. Formal verification techniques are exhaustive but do not scale; partial ver-ification techniques based on simulation scale well but are not exhaustive. This paper discusses promising ap-proaches for improving the scalability of formal verifica-tion and comprehensiveness of partial verification.