Login / Signup
A Partitioning Methodology for BDD-Based Verification.
Debashis Sahoo
Subramanian K. Iyer
Jawahar Jain
Christian Stangier
Amit Narayan
David L. Dill
E. Allen Emerson
Published in:
FMCAD (2004)
Keyphrases
</>
model checking
real time
design methodology
formal verification
data sets
computer vision
knowledge base
artificial neural networks
distributed systems
face verification
binary decision diagrams
partitioning algorithm
verification method