fsm_export_o.ys 146 Bytes
Newer Older
1 2 3 4 5 6 7
read_verilog ../top.v
proc
fsm_detect
fsm_extract
fsm_export -o fsm.kiss2
opt
fsm_opt
8
tee -o result.log dump
9 10
synth -top top
write_verilog synth.v