From acda74c12cd39ae1a17d15f472728b49ad584e91 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 16 Mar 2014 17:05:05 +0100
Subject: Added support for memories to verific bindings

---
 frontends/verific/test_navre.ys | 1 +
 1 file changed, 1 insertion(+)

(limited to 'frontends/verific/test_navre.ys')

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
 
-- 
cgit v1.2.1