From 9aec8a1672226e0bc74f9ec1dc66c446a59f0143 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 2 Oct 2016 22:08:30 +0200 Subject: [PATCH] yosys-smtbmc: added smtc [...] support for cells --- backends/smt2/smtio.py | 2 ++ 1 file changed, 2 insertions(+) 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: -- 2.30.2