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