diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-03-04 16:39:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-04 16:39:12 +0100 |
| commit | a95e5d505b8e5dd841ba6eb8b6d1e9cfe75aa776 (patch) | |
| tree | f3640bdd4d521efefa4f54e008bde2ac34d3ac0a /backends/smt2/smtio.py | |
| parent | 13655ddccf861de13f7b7faced793fdd2799dce4 (diff) | |
| parent | dc739362c7e0c0d7befe2a5dc2866aef31ca5a20 (diff) | |
| download | yosys-a95e5d505b8e5dd841ba6eb8b6d1e9cfe75aa776.tar.gz yosys-a95e5d505b8e5dd841ba6eb8b6d1e9cfe75aa776.tar.bz2 yosys-a95e5d505b8e5dd841ba6eb8b6d1e9cfe75aa776.zip | |
Merge pull request #3186 from nakengelhardt/smtbmc_sby_print_id
add argument for printing cell names in yosys-smtbmc
Diffstat (limited to 'backends/smt2/smtio.py')
| -rw-r--r-- | backends/smt2/smtio.py | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index d73a875ba..3d458e6cf 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -536,10 +536,16 @@ class SmtIo: self.modinfo[self.curmod].clocks[fields[2]] = "event" if fields[1] == "yosys-smt2-assert": - self.modinfo[self.curmod].asserts["%s_a %s" % (self.curmod, fields[2])] = fields[3] + if len(fields) > 4: + self.modinfo[self.curmod].asserts["%s_a %s" % (self.curmod, fields[2])] = f'{fields[4]} ({fields[3]})' + else: + self.modinfo[self.curmod].asserts["%s_a %s" % (self.curmod, fields[2])] = fields[3] if fields[1] == "yosys-smt2-cover": - self.modinfo[self.curmod].covers["%s_c %s" % (self.curmod, fields[2])] = fields[3] + if len(fields) > 4: + self.modinfo[self.curmod].covers["%s_c %s" % (self.curmod, fields[2])] = f'{fields[4]} ({fields[3]})' + else: + self.modinfo[self.curmod].covers["%s_c %s" % (self.curmod, fields[2])] = fields[3] if fields[1] == "yosys-smt2-maximize": self.modinfo[self.curmod].maximize.add(fields[2]) |