read_ilang build/top.il
read_verilog  ../uart16550/rtl/verilog/raminfr.v
read_verilog  ../uart16550/rtl/verilog/uart_defines.v
read_verilog  ../uart16550/rtl/verilog/uart_rfifo.v
read_verilog  ../uart16550/rtl/verilog/uart_top.v
read_verilog  ../uart16550/rtl/verilog/timescale.v
read_verilog  ../uart16550/rtl/verilog/uart_receiver.v
read_verilog  ../uart16550/rtl/verilog/uart_sync_flops.v
read_verilog  ../uart16550/rtl/verilog/uart_transmitter.v
read_verilog  ../uart16550/rtl/verilog/uart_debug_if.v
read_verilog  ../uart16550/rtl/verilog/uart_regs.v
read_verilog  ../uart16550/rtl/verilog/uart_tfifo.v
read_verilog  ../uart16550/rtl/verilog/uart_wb.v
read_verilog  ./external_core_top.v

delete w:$verilog_initial_trigger
proc_prune
proc_clean
proc_rmdead
proc_init
proc_arst
proc_dlatch
proc_dff
proc_mux
proc_rmdead
proc_memwr
proc_clean
opt_expr -keepdc
memory_collect
pmuxtree
#opt_mem
#opt_mem_priority
#opt_mem_feedback
#opt_clean
extract_fa
clean
opt
clean
write_verilog -norename top.v
stat