read_verilog ../top.v extract -map ../top.v -perm $dff D,CLK D,CLK design -reset read_verilog ../top.v proc write_verilog synth.v
