Sign in
foss-eda-tools
/
third_party
/
shuttle
/
sky130
/
mpw-001
/
slot-003
/
2ca0eb0565b960278b3c1e7a112f4a570aa036e1
/
.
/
verilog
/
rtl
/
softshell
/
third_party
/
wb2axip
/
bench
/
formal
/
wbm2axisp.ys
blob: 3a8a9b557d27f26f3076bdc7b57f5af611a54763 [
file
] [
log
] [
blame
]
read_verilog
-
D WBM2AXISP
-
formal
../../
rtl
/
wbm2axisp
.
v
read_verilog
-
D WBM2AXISP
-
formal faxi_master
.
v
read_verilog
-
D WBM2AXISP
-
formal fwb_slave
.
v
prep
-
top wbm2axisp
-
nordff
opt
-
share_all
write_smt2
-
wires wbm2axisp
.
smt2
