fsm_encoding_binary.ys 108 Bytes
Newer Older
1 2 3
read_verilog ../top.v
proc
fsm -encoding binary
4
tee -o result.log dump
5 6
synth -top top
write_verilog synth.v