mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 06:03:23 +00:00
Code Activity

RTLIL::S{0,1} -> State::S{0,1} for headers

Browse source
This commit is contained in:
Eddie Hung 2019-08-07 11:14:03 -07:00
parent 7164996921
commit 71eff6f0de
5 changed files with 40 additions and 40 deletions
Download patch file Download diff file Expand all files Collapse all files

2
kernel/satgen.h
View file

@ -1023,7 +1023,7 @@ struct SatGen
std::vector<int> lut;
for (auto bit : cell->getParam("\\LUT").bits)
lut.push_back(bit == RTLIL::S1 ? ez->CONST_TRUE : ez->CONST_FALSE);
lut.push_back(bit == State::S1 ? ez->CONST_TRUE : ez->CONST_FALSE);
while (GetSize(lut) < (1 << GetSize(a)))
lut.push_back(ez->CONST_FALSE);
lut.resize(1 << GetSize(a));