projects
/
yosys.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add propagated clock signals into btor info file
[yosys.git]
/
backends
/
btor
/
btor.cc
diff --git
a/backends/btor/btor.cc
b/backends/btor/btor.cc
index 73e88c049b69cfe2555d2b2910a6cae1003dce07..7de5deadd71b089d92a654dd6f7445113fdd4273 100644
(file)
--- a/
backends/btor/btor.cc
+++ b/
backends/btor/btor.cc
@@
-1220,6
+1220,8
@@
struct BtorWorker
int this_nid = next_nid++;
btorf("%d uext %d %d %d%s\n", this_nid, sid, nid, 0, getinfo(wire).c_str());
+ if (info_clocks.count(nid))
+ info_clocks[this_nid] |= info_clocks[nid];
btorf_pop(stringf("wire %s", log_id(wire)));
continue;