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

abc9_ops: more robust

Browse source
This commit is contained in:
Eddie Hung 2020-04-15 15:50:57 -07:00
parent 8d7b3c06b2
commit c52bb11fb6
1 changed files with 14 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

22
passes/techmap/abc9_ops.cc
View file

@ -641,7 +641,8 @@ void prep_box(RTLIL::Design *design)
log_assert(num_outputs == 1);
ss << log_id(module) << " " << r.first->second.as_int();
ss << " " << (module->get_bool_attribute(ID::whitebox) ? "1" : "0");
log_assert(module->get_bool_attribute(ID::whitebox));
ss << " " << "1";
ss << " " << num_inputs << " " << num_outputs << std::endl;
ss << "#";
@ -659,6 +660,9 @@ void prep_box(RTLIL::Design *design)
ss << std::endl;
auto &t = timing.setup_module(module).required;
if (t.empty())
log_error("Module '%s' with (* abc9_flop *) has no clk-to-q timing (and thus no connectivity) information.\n", log_id(module));
first = true;
for (auto port_name : module->ports) {
auto wire = module->wire(port_name);
@ -671,8 +675,8 @@ void prep_box(RTLIL::Design *design)
log_assert(GetSize(wire) == 1);
auto it = t.find(TimingInfo::NameBit(port_name,0));
if (it == t.end())
// Assume that no setup time means zero
ss << 0;
// Assume no connectivity if no setup time
ss << "-";
else {
ss << it->second;
@ -743,9 +747,11 @@ void prep_box(RTLIL::Design *design)
}
ss << std::endl;
auto &t = timing.setup_module(module).comb;
if (t.empty())
log_warning("(* abc9_box *) module '%s' has no timing (and thus no connectivity) information.\n", log_id(module));
auto &t = timing.setup_module(module);
if (t.comb.empty())
log_error("Module '%s' with (* abc9_box *) has no timing (and thus no connectivity) information.\n", log_id(module));
if (!t.arrival.empty() || !t.required.empty())
log_error("Module '%s' with (* abc9_box *) has setup and/or edge-sensitive timing information.\n", log_id(module));
for (const auto &o : outputs) {
first = true;
@ -754,8 +760,8 @@ void prep_box(RTLIL::Design *design)
first = false;
else
ss << " ";
auto jt = t.find(TimingInfo::BitBit(i,o));
if (jt == t.end())
auto jt = t.comb.find(TimingInfo::BitBit(i,o));
if (jt == t.comb.end())
ss << "-";
else
ss << jt->second;