Some Useful Tips - I

Some Useful Tips - I

• Use dynamic variable ordering after “init_verify” to reduce the BDD size.
• Save the ordering obtained from dynamic variable ordering to be used in

future iterations of the design.

vis> read_blif_mv tlc.mv

vis> flatten_hierarchy; static_order; build_partition_mdds; print_img_info

vis> dynamic_var_ordering -f sift

vis> write_order tlc.order

vis> mc tlc.ctl

Next iteration:

vis> read_blif_mv tlc.mv

vis> flatten_hierarchy; static_order tlc.order; build_partition_mdds; mc tlc.ctl

Previous slide

Next slide

Back to the first slide

View Graphic Version