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