Formality Check Basic Flow

Basic for formality check:

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

Basic for formality check:

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