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