Underlying Computation in VIS
State Space Traversal
Symbolic Computation in VIS
Finite State Machine
What are BDDs?
Ordering of Variables in BDD
Controlling the BDD Size : Space vs Time Trade-off
Space vs Time Trade-off : Dynamic Variable Reordering
Space vs Time Trade-off : Partitioning the Circuit
Space vs Time Trade-off : Partitioned Transition Relation
Some Useful Tips - I
Some Useful Tips - II
Demonstration : Dynamic Variable Reordering