Study on Formal Methods Application in Airborne Electronic Hardware Design

2010 ◽  
Author(s):  
Wang Peng ◽  
Tian Yi
Keyword(s):  
Formal Methods ◽  
Hardware Design ◽  
Electronic Hardware

Airborne Electronic Hardware Design Assurance

2017 ◽  
Author(s):  
Randall Fulton ◽  
Roy Vandermolen
Keyword(s):  
Hardware Design ◽  
Electronic Hardware

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.

A brief introduction to formal methods [hardware design]

2002 ◽  
Author(s):  
P.E. Black ◽  
K.M. Hall ◽  
M.D. Jones ◽  
T.N. Larson ◽  
P.J. Windley
Keyword(s):  
Formal Methods ◽  
Hardware Design
Sign in / Sign up

Export Citation Format

Share Document