Demonstration : Dynamic Variable Reordering

Demonstration : Dynamic Variable Reordering

• Read in a design
  • init_verify; print_img_info; compute_reach;
  • Note down the MDD size and analysis time
  • dynamic_var_ordering -f sift
  • write_order saved_order
• Read in the design again
  • flatten; static_order saved_order; print_img_info; compute_reach;
  • Note down the difference in MDD size and analysis time

Previous slide

Back to the first slide

View Graphic Version