diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-16 17:05:05 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-16 17:05:05 +0100 |
| commit | acda74c12cd39ae1a17d15f472728b49ad584e91 (patch) | |
| tree | dd1efddfb05a4cb6a9612af53fa4e7472b0e7ba1 /frontends/verific/test_navre.ys | |
| parent | 7545510edcc1d9ab14e53cae285f1ef0dfb3d7d4 (diff) | |
Added support for memories to verific bindings
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 |