riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
yosys/tests/opt/opt_rmdff_sat.ys

6 lines
98 B
Plaintext
Raw Blame History

read_verilog opt_rmdff_sat.v
prep -flatten
opt_rmdff -sat
synth
select -assert-count 5 t:$_DFF_P_
Reference in New Issue View Git Blame Copy Permalink