SVIncCompil/Testcases/YosysTests/misc/scripts/opt_rmdff_sat.ys - third_party/Surelog - Git at Google

 read_verilog  ../top.v
 read_verilog  ../bc.v
 read_verilog  ../demux.v
 read_verilog  ../mux.v

 prep -flatten
 opt_rmdff -sat
 synth
 tee -o result.log select -assert-count 0 t:$_DFF_P_
	read_verilog ../top.v
	read_verilog ../bc.v
	read_verilog ../demux.v
	read_verilog ../mux.v

	prep -flatten
	opt_rmdff -sat
	synth
	tee -o result.log select -assert-count 0 t:$_DFF_P_