projects / yosys.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Support module/package/interface/block scope for typedef names.
[yosys.git] / tests / opt / opt_rmdff_sat.ys
1 read_verilog opt_rmdff_sat.v
2 prep -flatten
3 opt_rmdff -sat
4 synth
5 select -assert-count 5 t:$_DFF_P_