Sign in
foss-fpga-tools
/
third_party
/
Surelog
/
36edd2bd845c2e56e36b75d2696ae7a98914e2a8
/
.
/
SVIncCompil
/
Testcases
/
YosysTestSuite
/
opt
/
opt_rmdff_sat.ys
blob: 1c3dd9c058a119fe9bbebbfa77566d0b46e5b96e [
file
] [
log
] [
blame
]
read_verilog opt_rmdff_sat
.
v
prep
-
flatten
opt_rmdff
-
sat
synth
select
-
assert
-
count
5
t
:
$_DFF_P_
