Reducing verification overhead with RTL slicing.

Jen-Chieh Ou Daniel G. Saab Qiang Qiang Jacob A. Abraham

Published in: ACM Great Lakes Symposium on VLSI (2007)

Keyphrases

model checking
open source
model based diagnosis
signature verification
formal verification
asynchronous circuits
data mining
learning algorithm
image sequences
face recognition
face verification
formal methods