Sign in
foss-eda-tools
/
third_party
/
shuttle
/
sky130
/
mpw-005
/
slot-032
/
f0f7f38767e21e27ba85908195f2283673ac5482
/
.
/
verilog
/
rtl
/
unit_test
/
cover
/
model
/
design_smt2.ys
blob: d37d6a8bc3c0dcaff2a7c94edc48da8c37698c06 [
file
] [
log
] [
blame
]
# running in cover/model/
read_ilang design
.
il
memory_nordff
async2sync
chformal
-
assume
-
early
chformal
-
live
-
fair
-
remove
opt_clean
setundef
-
anyseq
opt
-
keepdc
-
fast
check
hierarchy
-
simcheck
dffunmap
stat
write_smt2
-
wires design_smt2
.
smt2
