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

Fix for abc_scc_break is bus

This commit is contained in:
Eddie Hung 2019-06-24 22:16:56 -07:00
parent 5605002d8a
commit a19226c174
1 changed files with 23 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
passes/techmap/abc9.cc
View File

@ -121,31 +121,33 @@ void handle_loops(RTLIL::Design *design)
if (it == cell->connections_.end()) if (it == cell->connections_.end())
log_error("abc_scc_break attribute value '%s' does not exist as port on module '%s'\n", jt->second.decode_string().c_str(), log_id(box_module)); log_error("abc_scc_break attribute value '%s' does not exist as port on module '%s'\n", jt->second.decode_string().c_str(), log_id(box_module));
log_assert(it != cell->connections_.end()); log_assert(it != cell->connections_.end());
auto &c = *it; RTLIL::SigSpec sig;
SigBit b = cell->getPort(RTLIL::escape_id(jt->second.decode_string())); for (auto b : it->second) {
Wire *w = b.wire; Wire *w = b.wire;
if (w->port_output) { if (w->port_output) {
log_assert(w->get_bool_attribute("\\abc_scc_break")); log_assert(w->get_bool_attribute("\\abc_scc_break"));
w = module->wire(stringf("%s.abci", w->name.c_str())); w = module->wire(stringf("%s.abci", w->name.c_str()));
log_assert(w); log_assert(w);
log_assert(b.offset < GetSize(w)); log_assert(b.offset < GetSize(w));
log_assert(w->port_input); log_assert(w->port_input);
}
else {
log_assert(!w->port_output);
w->port_output = true;
w->set_bool_attribute("\\abc_scc_break");
w = module->wire(stringf("%s.abci", w->name.c_str()));
if (!w) {
w = module->addWire(stringf("%s.abci", b.wire->name.c_str()), GetSize(b.wire));
w->port_input = true;
} }
else { else {
log_assert(w->port_input); log_assert(!w->port_output);
log_assert(b.offset < GetSize(w)); w->port_output = true;
w->set_bool_attribute("\\abc_scc_break");
w = module->wire(stringf("%s.abci", w->name.c_str()));
if (!w) {
w = module->addWire(stringf("%s.abci", b.wire->name.c_str()), GetSize(b.wire));
w->port_input = true;
}
else {
log_assert(w->port_input);
log_assert(b.offset < GetSize(w));
}
} }
sig.append(RTLIL::SigBit(w, b.offset));
} }
c.second = RTLIL::SigBit(w, b.offset); it->second = sig;
} }
} }
} }