Sign in
foss-eda-tools
/
third_party
/
shuttle
/
sky130
/
mpw-008
/
slot-010
/
5a8437655984010d75f93967e2f63635d6edaa2e
/
.
/
verilog
/
rtl
/
scan_controller
/
scan_mux.sby
blob: a24c24ff7785ecbc8f92d50585025423a196e7f4 [
file
] [
log
] [
blame
]
[
options
]
mode prove
multiclock on
[
engines
]
smtbmc
[
script
]
read
-
formal
-
DMPRJ_IO_PADS
=
38
scan_controller
.
v
prep
-
top scan_controller
[
files
]
scan_controller
.
v
properties
.
v