diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-25 12:16:03 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-25 12:16:03 +0200 |
| commit | 1488bc0c4f80b32cabd096232830b7fdfc400bbf (patch) | |
| tree | 38d1f22a42ac2bc86918511c44f6b38f84fb9619 /frontends/verific/test_navre.ys | |
| parent | 91bf0c90c86f5f857f440bec012b085d9f218ef0 (diff) | |
Updated verific build/test instructions
Diffstat (limited to 'frontends/verific/test_navre.ys')
| -rw-r--r-- | frontends/verific/test_navre.ys | 4 |
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 |