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