Research on Hardware Design Verification Methods
This paper first summarizes the existing basic theories and methods of hardware design verification. Then it analyzes and compares the simulation-based verification and formal methods-based verification, and discusses Equivalence Checking, Model Checking and Theorem Proving in detail. Finally, it points out the existing problems and the future directions in the field.
J. Zhang et al., "Research on Hardware Design Verification Methods", Advanced Materials Research, Vols. 588-589, pp. 1208-1213, 2012