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

Merge remote-tracking branch 'origin/master' into xc7mux

Browse source
This commit is contained in:
Eddie Hung 2019-05-25 20:50:47 -07:00
commit 73c98f2ae2
2 changed files with 27 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

26
backends/blif/blif.cc
View file

@ -409,12 +409,26 @@ struct BlifDumper
f << stringf(".%s %s", subckt_or_gate(cell->type.str()), cstr(cell->type)); f << stringf(".%s %s", subckt_or_gate(cell->type.str()), cstr(cell->type));
for (auto &conn : cell->connections()) for (auto &conn : cell->connections())
for (int i = 0; i < conn.second.size(); i++) { {
if (conn.second.size() == 1) if (conn.second.size() == 1) {
f << stringf(" %s", cstr(conn.first)); f << stringf(" %s=%s", cstr(conn.first), cstr(conn.second[0]));
else continue;
f << stringf(" %s[%d]", cstr(conn.first), i); }
f << stringf("=%s", cstr(conn.second.extract(i, 1)));
Module *m = design->module(cell->type);
Wire *w = m ? m->wire(conn.first) : nullptr;
if (w == nullptr) {
for (int i = 0; i < GetSize(conn.second); i++)
f << stringf(" %s[%d]=%s", cstr(conn.first), i, cstr(conn.second[i]));
} else {
for (int i = 0; i < std::min(GetSize(conn.second), GetSize(w)); i++) {
SigBit sig(w, i);
f << stringf(" %s[%d]=%s", cstr(conn.first), sig.wire->upto ?
sig.wire->start_offset+sig.wire->width-sig.offset-1 :
sig.wire->start_offset+sig.offset, cstr(conn.second[i]));
}
}
} }
f << stringf("\n"); f << stringf("\n");

8
backends/btor/btor.cc
View file

@ -129,7 +129,13 @@ struct BtorWorker
void export_cell(Cell *cell) void export_cell(Cell *cell)
{ {
log_assert(cell_recursion_guard.count(cell) == 0); if (cell_recursion_guard.count(cell)) {
string cell_list;
for (auto c : cell_recursion_guard)
cell_list += stringf("\n %s", log_id(c));
log_error("Found topological loop while processing cell %s. Active cells:%s\n", log_id(cell), cell_list.c_str());
}
cell_recursion_guard.insert(cell); cell_recursion_guard.insert(cell);
btorf_push(log_id(cell)); btorf_push(log_id(cell));