Reconfigurable Systems and Flexible Programming for Hardware Design, Verification and Software Enablement for System-on-a-Chip Architectures

2011 ◽  
Author(s):  
J. Aylward ◽  
C.H. Crawford ◽  
K. Inoue ◽  
S. Lekuch ◽  
K. Muller ◽  
...  
Keyword(s):  
Hardware Design ◽  
Reconfigurable Systems ◽  
Design Verification ◽  
System On A Chip ◽  
Flexible Programming

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