Login / Signup
Property Refinement Techniques for Enhancing Coverage of Formal Property Verification.
Prasenjit Basu
Pallab Dasgupta
P. P. Chakrabarti
Chunduri Rama Mohan
Published in:
VLSI Design (2004)
Keyphrases
</>
database
image processing
real time
neural network
face recognition
data structure