Application of term rewriting techniques to hardware design verification

1987 ◽  
Author(s):  
M. S. Chandrasekhar ◽  
J. P. Privitera ◽  
K. W. Conradt
Keyword(s):  
Hardware Design ◽  
Term Rewriting ◽  
Design Verification

Research on Hardware Design Verification Methods

2012 ◽  
Vol 588-589 ◽  
pp. 1208-1213
Author(s):  
Jie Zhang ◽  
Jian Qi ◽  
Yong Guan
Keyword(s):  
Model Checking ◽  
Formal Methods ◽  
Theorem Proving ◽  
Hardware Design ◽  
Equivalence Checking ◽  
Design Verification ◽  
Future Directions ◽  
Existing Problems ◽  
Verification Methods ◽  
Simulation Based

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.

Sign in / Sign up

Export Citation Format

Share Document