read_ilang build_simcrg/top.il
delete w:$verilog_initial_trigger
proc_prune
proc_clean
proc_init
proc_arst
proc_dff
proc_rmdead
proc_mux
proc_clean
pmuxtree
memory_collect
extract_fa -v
clean
opt
clean
write_verilog -norename build_simcrg/top.v