read_verilog ../top.v proc fsm_detect fsm_extract fsm_recode -encfile encfile.fsm design -stash gold read_verilog ../synth_top.v read_verilog ../logic.v proc design -stash gate design -copy-from gold -as gold FSM design -copy-from gate -as gate FSM equiv_make -blacklist ../blacklist.txt -inames -encfile encfile.fsm gold gate equiv design -reset read_verilog ../top.v proc write_verilog synth.v
