Optimizing BDD-Based Verification Analysing Variable Dependencies.

David Déharbe Jorgiano Márcio Bruno Vidal

Published in: SBCCI (2001)

Keyphrases

verification method
model checking
dependency analysis
dependency graphs
concurrent systems
continuous variables
formal analysis
data sets
data dependencies
breadth first search
asynchronous circuits