summaryrefslogtreecommitdiff
path: root/frontends/verific/test_navre.ys
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-25 12:16:03 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-25 12:16:03 +0200
commit1488bc0c4f80b32cabd096232830b7fdfc400bbf (patch)
tree38d1f22a42ac2bc86918511c44f6b38f84fb9619 /frontends/verific/test_navre.ys
parent91bf0c90c86f5f857f440bec012b085d9f218ef0 (diff)
Updated verific build/test instructions
Diffstat (limited to 'frontends/verific/test_navre.ys')
-rw-r--r--frontends/verific/test_navre.ys4
1 files changed, 2 insertions, 2 deletions
diff --git a/frontends/verific/test_navre.ys b/frontends/verific/test_navre.ys
index 6f63761a..a56b725a 100644
--- a/frontends/verific/test_navre.ys
+++ b/frontends/verific/test_navre.ys
@@ -1,11 +1,11 @@
-verific -vlog2k ../../../yosys-bigsim/softusb_navre/rtl/softusb_navre.v
+verific -vlog2k ../yosys-bigsim/softusb_navre/rtl/softusb_navre.v
verific -import softusb_navre
memory softusb_navre
flatten softusb_navre
rename softusb_navre gate
-read_verilog ../../../yosys-bigsim/softusb_navre/rtl/softusb_navre.v
+read_verilog ../yosys-bigsim/softusb_navre/rtl/softusb_navre.v
cd softusb_navre; proc; opt; memory; opt; cd ..
rename softusb_navre gold