Sign in
foss-fpga-tools
/
third_party
/
yosys
/
b3a66dff7cac8ee98a9b26463e8858a38ea57f83
/
.
/
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
