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

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index cf14333c4ba29d57c887c18cee609ae6dd9f5036..f65c87ffbdd8e3ecd681a41c4ed45071a89fcc99 100644 (file)
--- 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: