CADgroup

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