mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

abc9_ops: -check to check abc9_{arrival,required}

Browse source
This commit is contained in:
Eddie Hung 2020-01-14 15:24:44 -08:00
parent 1c88a6c240
commit f60e071e1c
1 changed files with 30 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

33
passes/techmap/abc9_ops.cc
View file

@ -73,6 +73,36 @@ void check(RTLIL::Design *design)
carry_out = port_name; carry_out = port_name;
} }
} }
auto it = w->attributes.find("\\abc9_arrival");
if (it != w->attributes.end()) {
int count = 0;
if (it->second.flags == 0)
count++;
else
for (const auto &tok : split_tokens(it->second.decode_string())) {
(void) tok;
count++;
}
if (count > 1 && count != GetSize(w))
log_error("%s.%s is %d bits wide but abc9_arrival = %s has %d value(s)!\n", log_id(m), log_id(port_name),
GetSize(w), log_signal(it->second), count);
}
it = w->attributes.find("\\abc9_required");
if (it != w->attributes.end()) {
int count = 0;
if (it->second.flags == 0)
count++;
else
for (const auto &tok : split_tokens(it->second.decode_string())) {
(void) tok;
count++;
}
if (count > 1 && count != GetSize(w))
log_error("%s.%s is %d bits wide but abc9_required = %s has %d value(s)!\n", log_id(m), log_id(port_name),
GetSize(w), log_signal(it->second), count);
}
} }
if (carry_in != IdString() && carry_out == IdString()) if (carry_in != IdString() && carry_out == IdString())
@ -448,9 +478,6 @@ void prep_delays(RTLIL::Design *design)
if (requireds.empty()) if (requireds.empty())
continue; continue;
if (GetSize(requireds) > 1 && GetSize(requireds) != GetSize(port_wire))
log_error("%s.%s is %d bits wide but abc9_required = %s has %d value(s)!\n", log_id(cell->type), log_id(conn.first),
GetSize(port_wire), log_signal(port_wire->attributes.at("\\abc9_required")), GetSize(requireds));
SigSpec O = module->addWire(NEW_ID, GetSize(conn.second)); SigSpec O = module->addWire(NEW_ID, GetSize(conn.second));
auto it = requireds.begin(); auto it = requireds.begin();