Research on Hardware Design Verification Methods

Abstract:

Article Preview

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.

Info:

Periodical:

Advanced Materials Research (Volumes 588-589)

Edited by:

Lawrence Lim

Pages:

1208-1213

Citation:

J. Zhang et al., "Research on Hardware Design Verification Methods", Advanced Materials Research, Vols. 588-589, pp. 1208-1213, 2012

Online since:

November 2012

Export:

Price:

$38.00

[1] LI SHAORONG, XU YUTING. An Equivalence Method for Verifying the Combinational Circuits Based on BDD. Computer Science[J],2007, 34(3): 293-295.

[2] ZENG QIONG, YAN WEI. Research On Combinational Circuits Equivalence Check Method[J]. Computer Engineering,2007, 33(4): 253-255.

[3] YU LEI, ZHAO ZONGTAO. Bounded Model Checking of PSL[J]. Chinese Journal of Electronnics,2009, 37(3): 614-621.

[4] LIU LINGYI, ZHAO YANG, LV TAO. Combining ATPG and SAT for Preimage Computation in Unbounded Model Checking[J]. Computer Aided Design and Computer Graphics, 2007, 19(3): 376-380.

[5] HAN JUNGANG, WANG YANBING. DESCRIBING AND VERIFYING THE BEHAVIOR OF HARDWARE IN XYZ/E LANGUAGE[J]. Journal of Software,1996, 7(11): 676-682.

[6] ALI HABIBI, SOFIENE TAHAR, ADEL GHAZEL. Formal Modeling of the ADSP-2100 Processor using HOL: Proceedings of the 2002 IEEE Canadian Conference on Electrical & Computer Engineering[C]. Canada: [s. n. ], (2002).

DOI: https://doi.org/10.1109/ccece.2002.1013012

[7] CHEN BO, Research on Hardware Verification based on Theorem Prover HOL [D]. Lanzhou: Lanzhou University, (2006).