mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

set add_carry property and all inputs to 0

Browse source
This commit is contained in:
Miodrag Milanovic 2024-03-25 09:23:31 +01:00
parent b6f7383736
commit 31f943513b
1 changed files with 36 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

37
techlibs/nanoxplore/nx_carry.cc
View file

@ -83,6 +83,16 @@ static void nx_carry_chain(Module *module)
if (c.second.at(0)->getPort(ID(CI)).is_wire()) {
cell = module->addCell(NEW_ID, ID(NX_CY));
cell->setPort(ID(CI), State::S0);
// Set all inputs on 0
cell->setPort(ID(A1), State::S0);
cell->setPort(ID(B1), State::S0);
cell->setPort(ID(A2), State::S0);
cell->setPort(ID(B2), State::S0);
cell->setPort(ID(A3), State::S0);
cell->setPort(ID(B3), State::S0);
cell->setPort(ID(A4), State::S0);
cell->setPort(ID(B4), State::S0);
cell->setPort(names_A[0], c.second.at(0)->getPort(ID(CI)).as_bit());
cell->setPort(names_B[0], State::S0);
j++;
@ -91,7 +101,25 @@ static void nx_carry_chain(Module *module)
for (size_t i=0 ; i<c.second.size(); i++) {
if (j==0) {
cell = module->addCell(NEW_ID, ID(NX_CY));
cell->setPort(ID(CI), c.second.at(i)->getPort(ID(CI)));
SigBit ci = c.second.at(i)->getPort(ID(CI)).as_bit();
cell->setPort(ID(CI), ci);
// Set all inputs on 0
cell->setPort(ID(A1), State::S0);
cell->setPort(ID(B1), State::S0);
cell->setPort(ID(A2), State::S0);
cell->setPort(ID(B2), State::S0);
cell->setPort(ID(A3), State::S0);
cell->setPort(ID(B3), State::S0);
cell->setPort(ID(A4), State::S0);
cell->setPort(ID(B4), State::S0);
if (ci.is_wire()) {
cell->setParam(ID(add_carry), Const(2,2));
} else {
if (ci == State::S0)
cell->setParam(ID(add_carry), Const(0,2));
else
cell->setParam(ID(add_carry), Const(1,2));
}
}
if (j==3) {
cell->set_string_attribute(ID(cnt), std::to_string(cnt));
@ -104,6 +132,13 @@ static void nx_carry_chain(Module *module)
cell->setPort(ID(CI), State::S0);
cell->setPort(ID(A1), new_co);
cell->setPort(ID(B1), State::S0);
// Set all inputs on 0
cell->setPort(ID(A2), State::S0);
cell->setPort(ID(B2), State::S0);
cell->setPort(ID(A3), State::S0);
cell->setPort(ID(B3), State::S0);
cell->setPort(ID(A4), State::S0);
cell->setPort(ID(B4), State::S0);
j = 1;
} else {
if (c.second.at(i)->hasPort(ID(CO)))