Variation-Conscious Formal Timing Verification in RTL.

Jayanand Asok Kumar Shobha Vasudevan

Published in: VLSI Design (2011)

Keyphrases

formal methods
asynchronous circuits
model checking
formal analysis
formal specification
model based diagnosis
concurrent systems
signature verification
search algorithm
decision making
face verification
image processing
formal model
evolutionary algorithm
face recognition
case study
database