Formality Check Basic Flow

set inital_v 3454_200.v
set post_cbt_v post_cbt.v
set top_module module_3454
read_db ./lib/MW/umc13sp/LM/scmetro_umcl130e_sp_ss_1p08v_125c.db
read_verilog -r $inital_v
set_top $top_module
read_verilog -i $post_cbt_v
set_top $top_module
verify
exit

ILM basic flow using ICC

open_mw_cel top_design
create_plan_groups sub_module
create_placement
legalize_placement
allocate_fp_budgets
route_global
analyze_fp_routing -finalize_pins_feedthroughs plan_groups
commit_fp_plan_groups sub_module
save_mw_cel -hierarchy
close_mw_cel sub_module
create_ilm_models sub_module