From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 2 Oct 2016 20:08:30 +0000 (+0200)
Subject: yosys-smtbmc: added smtc [...] support for cells
X-Git-Tag: yosys-0.7~44
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9aec8a1672226e0bc74f9ec1dc66c446a59f0143;p=yosys.git

yosys-smtbmc: added smtc [...] support for cells
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index cf14333c4..f65c87ffb 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -511,6 +511,8 @@ class SmtIo:
     def net_expr(self, mod, base, path):
         if len(path) == 1:
             assert mod in self.modinfo
+            if path[0] in self.modinfo[mod].cells:
+                return "(|%s_h %s| %s)" % (mod, path[0], base)
             if path[0] in self.modinfo[mod].wsize:
                 return "(|%s_n %s| %s)" % (mod, path[0], base)
             if path[0] in self.modinfo[mod].memories: