riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

write_btor: don't emit undriven bits multiple times 

* Fixes #4640
This commit is contained in:
George Rennie 2024-10-08 14:34:17 +02:00
parent 535b3304cc
commit 268926cb5b
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
backends/btor/btor.cc
View File

@ -1077,6 +1077,7 @@ struct BtorWorker
btorf("%d input %d\n", nid, sid); btorf("%d input %d\n", nid, sid);
ywmap_input(s); ywmap_input(s);
nid_width[nid] = GetSize(s); nid_width[nid] = GetSize(s);
add_nid_sig(nid, s);
for (int j = 0; j < GetSize(s); j++) for (int j = 0; j < GetSize(s); j++)
nidbits.push_back(make_pair(nid, j)); nidbits.push_back(make_pair(nid, j));