diff options
Diffstat (limited to 'frontends/verific/test_navre.ys')
| -rw-r--r-- | frontends/verific/test_navre.ys | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontends/verific/test_navre.ys b/frontends/verific/test_navre.ys index 9e11cde0..6f63761a 100644 --- a/frontends/verific/test_navre.ys +++ b/frontends/verific/test_navre.ys @@ -1,6 +1,7 @@ verific -vlog2k ../../../yosys-bigsim/softusb_navre/rtl/softusb_navre.v verific -import softusb_navre +memory softusb_navre flatten softusb_navre rename softusb_navre gate |