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

write_xaiger: fix arrival times for non boxes

This commit is contained in:
Eddie Hung 2019-12-27 11:30:18 -08:00
parent 509070f82f
commit 49881b4468
1 changed files with 25 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
backends/aiger/xaiger.cc
View File

@ -250,41 +250,48 @@ struct XAigerWriter
} }
RTLIL::Module* inst_module = module->design->module(cell->type); RTLIL::Module* inst_module = module->design->module(cell->type);
if (inst_module && inst_module->attributes.count("\\abc9_box_id")) { if (inst_module) {
abc9_box_seen = true; bool abc9_box = inst_module->attributes.count("\\abc9_box_id");
toposort.node(cell->name);
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);
if (port_wire->port_input) { int arrival = 0;
// Ignore inout for the sake of topographical ordering
if (port_wire->port_output) continue;
for (auto bit : sigmap(conn.second))
bit_users[bit].insert(cell->name);
}
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();
} }
}
for (auto bit : sigmap(conn.second)) { if (abc9_box) {
bit_drivers[bit].insert(cell->name); if (port_wire->port_input) {
if (arrival) // Ignore inout for the sake of topographical ordering
arrival_times[bit] = arrival; if (port_wire->port_output) continue;
for (auto bit : sigmap(conn.second))
bit_users[bit].insert(cell->name);
} }
if (port_wire->port_output)
for (auto bit : sigmap(conn.second)) {
bit_drivers[bit].insert(cell->name);
if (arrival)
arrival_times[bit] = arrival;
}
} }
} }
if (inst_module->attributes.count("\\abc9_flop")) if (abc9_box) {
flop_boxes.push_back(cell); abc9_box_seen = true;
continue;
toposort.node(cell->name);
if (inst_module->attributes.count("\\abc9_flop"))
flop_boxes.push_back(cell);
continue;
}
} }
bool cell_known = inst_module || cell->known(); bool cell_known = inst_module || cell->known();