diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-06-21 16:33:33 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-06-21 16:33:33 +0200 |
commit | b18fa95d2f1f4118cdb7c16e3415059bd81e2325 (patch) | |
tree | 68ba5ef340312a0d5f3a63108dddf034e8e6dba6 /manual/PRESENTATION_ExOth/axis_test.ys | |
parent | 1c85584fe5843a43590de3927fe9bde74a04e72e (diff) | |
download | yosys-b18fa95d2f1f4118cdb7c16e3415059bd81e2325.tar.gz yosys-b18fa95d2f1f4118cdb7c16e3415059bd81e2325.tar.bz2 yosys-b18fa95d2f1f4118cdb7c16e3415059bd81e2325.zip |
Progress in presentation
Diffstat (limited to 'manual/PRESENTATION_ExOth/axis_test.ys')
-rw-r--r-- | manual/PRESENTATION_ExOth/axis_test.ys | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/manual/PRESENTATION_ExOth/axis_test.ys b/manual/PRESENTATION_ExOth/axis_test.ys new file mode 100644 index 000000000..19663ac77 --- /dev/null +++ b/manual/PRESENTATION_ExOth/axis_test.ys @@ -0,0 +1,5 @@ +read_verilog -sv axis_master.v axis_test.v +hierarchy -top axis_test + +proc; flatten;; +sat -falsify -seq 50 -prove-asserts |