BDD Sifting Evaluation

• Comparison of “default” sifting order versus “optimal” sifting order

• Still not “optimum”

• Significant improvement possible in adaptive variable ordering for sifting

Previous slide

Next slide

Back to first slide

View graphic version