mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 19:52:31 +00:00
Code Activity

Bugfixes in new BTOR back-end

Browse source
This commit is contained in:
Clifford Wolf 2017-11-24 18:13:41 +01:00
parent 60d1129506
commit e3a51b3e87
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
backends/btor/btor.cc
View file

@ -334,7 +334,7 @@ struct BtorWorker
if (nid >= 0) { if (nid >= 0) {
int sid = get_bv_sid(width+upper-lower+1); int sid = get_bv_sid(width+upper-lower+1);
int nid4 = next_nid++; nid4 = next_nid++;
btorf("%d concat %d %d %d\n", nid4, sid, nid, nid3); btorf("%d concat %d %d %d\n", nid4, sid, nid, nid3);
} }
@ -411,8 +411,9 @@ struct BtorWorker
btorf_push(stringf("output %s", log_id(wire))); btorf_push(stringf("output %s", log_id(wire)));
int sid = get_bv_sid(GetSize(wire));
int nid = get_sig_nid(wire); int nid = get_sig_nid(wire);
btorf("%d output %d %s\n", next_nid++, nid, log_id(wire)); btorf("%d output %d %d %s\n", next_nid++, sid, nid, log_id(wire));
btorf_pop(stringf("output %s", log_id(wire))); btorf_pop(stringf("output %s", log_id(wire)));
} }