Login / Signup
An Emulation Model for Sequential ATPG-Based Bounded Model Checking.
Qiang Qiang
Daniel G. Saab
Jacob A. Abraham
Published in:
FPL (2005)
Keyphrases
</>
computational model
formal model
high level
bounded model checking
theoretical analysis
mathematical model
statistical model