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

Really fix it!

This commit is contained in:
Eddie Hung 2019-12-27 15:18:55 -08:00
parent 49881b4468
commit dd503a5f3f
1 changed files with 7 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
backends/aiger/xaiger.cc
View File

@ -255,32 +255,29 @@ struct XAigerWriter
for (const auto &conn : cell->connections()) { for (const auto &conn : cell->connections()) {
auto port_wire = inst_module->wire(conn.first); auto port_wire = inst_module->wire(conn.first);
int arrival = 0;
if (port_wire->port_output) { if (port_wire->port_output) {
int arrival = 0;
auto it = port_wire->attributes.find("\\abc9_arrival"); auto it = port_wire->attributes.find("\\abc9_arrival");
if (it != port_wire->attributes.end()) { if (it != port_wire->attributes.end()) {
if (it->second.flags != 0) if (it->second.flags != 0)
log_error("Attribute 'abc9_arrival' on port '%s' of module '%s' is not an integer.\n", log_id(port_wire), log_id(cell->type)); log_error("Attribute 'abc9_arrival' on port '%s' of module '%s' is not an integer.\n", log_id(port_wire), log_id(cell->type));
arrival = it->second.as_int(); arrival = it->second.as_int();
} }
if (arrival)
for (auto bit : sigmap(conn.second))
arrival_times[bit] = arrival;
} }
if (abc9_box) { if (abc9_box) {
if (port_wire->port_input) { // Ignore inout for the sake of topographical ordering
// Ignore inout for the sake of topographical ordering if (port_wire->port_input && !port_wire->port_output)
if (port_wire->port_output) continue;
for (auto bit : sigmap(conn.second)) for (auto bit : sigmap(conn.second))
bit_users[bit].insert(cell->name); bit_users[bit].insert(cell->name);
}
if (port_wire->port_output) if (port_wire->port_output)
for (auto bit : sigmap(conn.second)) { for (auto bit : sigmap(conn.second))
bit_drivers[bit].insert(cell->name); bit_drivers[bit].insert(cell->name);
if (arrival)
arrival_times[bit] = arrival;
}
} }
} }
if (abc9_box) { if (abc9_box) {