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