Sign in
foss-fpga-tools
/
third_party
/
yosys
/
ab8c521030a2c91a1e388d6f3c627a7f7dd525b2
/
.
/
manual
/
PRESENTATION_ExOth
/
axis_test.ys
blob: 19663ac7733257897c2631f37394340f093177e6 [
file
]
read_verilog
-
sv axis_master
.
v axis_test
.
v
hierarchy
-
top axis_test
proc
;
flatten
;;
sat
-
falsify
-
seq
50
-
prove
-
asserts
