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

Update backends/btor/btor.cc; credit @boqwxp

Browse source 
Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
This commit is contained in:
Eddie Hung 2020-03-15 09:09:35 -07:00
parent 6d4f01c3fa
commit dde3dfd72e
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
backends/btor/btor.cc
View file

@ -433,8 +433,7 @@ struct BtorWorker
if (cell->type == "$neg") btor_op = "neg"; if (cell->type == "$neg") btor_op = "neg";
log_assert(!btor_op.empty()); log_assert(!btor_op.empty());
int width = GetSize(cell->getPort(ID::Y)); int width = std::max(GetSize(cell->getPort(ID::A)), GetSize(cell->getPort(ID::Y)));
width = std::max(width, GetSize(cell->getPort(ID::A)));
bool a_signed = cell->hasParam("\\A_SIGNED") ? cell->getParam("\\A_SIGNED").as_bool() : false; bool a_signed = cell->hasParam("\\A_SIGNED") ? cell->getParam("\\A_SIGNED").as_bool() : false;