mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

booth: Fix assertion

Browse source 
Fix assertion to what it should be per Andy's comments.
This commit is contained in:
Martin Povišer 2023-09-28 11:50:57 +02:00
parent 91bcf81dbd
commit 6b70b3dbef
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
passes/techmap/booth.cc
View file

@ -655,8 +655,7 @@ struct BoothPassWorker {
cpa_id++;
log_assert(c_vec.size() == s_vec.size());
// TODO: doesn't pass
//log_assert(result.size() == s_vec.size() + 2);
log_assert(result.size() == s_vec.size());
SigBit carry;
for (int n = 0; n < s_vec.size(); n++) {