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_
