mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 01:24:10 +00:00
Code Activity

abc9_ops: add and use new TimingInfo struct

Browse source
This commit is contained in:
Eddie Hung 2020-02-14 11:11:34 -08:00
parent bc97e64b21
commit cda4acb544
2 changed files with 214 additions and 70 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

173
kernel/timinginfo.h Normal file
View file

@ -0,0 +1,173 @@
/*
* yosys -- Yosys Open SYnthesis Suite
*
* Copyright (C) 2012 Clifford Wolf <clifford@clifford.at>
* (C) 2020 Eddie Hung <eddie@fpgeh.com>
*
* Permission to use, copy, modify, and/or distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
* copyright notice and this permission notice appear in all copies.
*
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*
*/
#ifndef TIMINGARCS_H
#define TIMINGARCS_H
#include "kernel/yosys.h"
YOSYS_NAMESPACE_BEGIN
typedef std::pair<RTLIL::SigBit,RTLIL::SigBit> BitBit;
struct ModuleTiming
{
RTLIL::IdString type;
dict<BitBit, int> comb;
dict<RTLIL::SigBit, int> arrival, required;
};
struct TimingInfo
{
dict<RTLIL::IdString, ModuleTiming> data;
TimingInfo()
{
}
TimingInfo(RTLIL::Design *design)
{
setup(design);
}
void setup(RTLIL::Design *design)
{
for (auto module : design->modules()) {
if (!module->get_blackbox_attribute())
continue;
setup_module(module);
}
}
void setup_module(RTLIL::Module *module)
{
auto r = data.insert(module->name);
log_assert(r.second);
auto &t = r.first->second;
for (auto cell : module->cells()) {
if (cell->type == ID($specify2)) {
auto src = cell->getPort(ID(SRC));
auto dst = cell->getPort(ID(DST));
for (const auto &c : src.chunks())
if (!c.wire->port_input)
log_error("Module '%s' contains specify cell '%s' where SRC '%s' is not a module input.\n", log_id(module), log_id(cell), log_signal(src));
for (const auto &c : dst.chunks())
if (!c.wire->port_output)
log_error("Module '%s' contains specify cell '%s' where DST '%s' is not a module output.\n", log_id(module), log_id(cell), log_signal(dst));
int rise_max = cell->getParam(ID(T_RISE_MAX)).as_int();
int fall_max = cell->getParam(ID(T_FALL_MAX)).as_int();
int max = std::max(rise_max,fall_max);
if (max < 0)
log_error("Module '%s' contains specify cell '%s' with T_{RISE,FALL}_MAX < 0.\n", log_id(module), log_id(cell));
if (cell->getParam(ID(FULL)).as_bool()) {
for (const auto &s : src)
for (const auto &d : dst) {
auto r = t.comb.insert(BitBit(s,d));
if (!r.second)
log_error("Module '%s' contains multiple specify cells for SRC '%s' and DST '%s'.\n", log_id(module), log_signal(s), log_signal(d));
r.first->second = max;
}
}
else {
log_assert(GetSize(src) == GetSize(dst));
for (auto i = 0; i < GetSize(src); i++) {
const auto &s = src[i];
const auto &d = dst[i];
auto r = t.comb.insert(BitBit(s,d));
if (!r.second)
log_error("Module '%s' contains multiple specify cells for SRC '%s' and DST '%s'.\n", log_id(module), log_signal(s), log_signal(d));
r.first->second = max;
}
}
}
else if (cell->type == ID($specify3)) {
auto src = cell->getPort(ID(SRC));
auto dst = cell->getPort(ID(DST));
for (const auto &c : src.chunks())
if (!c.wire->port_input)
log_error("Module '%s' contains specify cell '%s' where SRC '%s' is not a module input.\n", log_id(module), log_id(cell), log_signal(src));
for (const auto &c : dst.chunks())
if (!c.wire->port_output)
log_error("Module '%s' contains specify cell '%s' where DST '%s' is not a module output.\n", log_id(module), log_id(cell), log_signal(dst));
int rise_max = cell->getParam(ID(T_RISE_MAX)).as_int();
int fall_max = cell->getParam(ID(T_FALL_MAX)).as_int();
int max = std::max(rise_max,fall_max);
if (max < 0)
log_warning("Module '%s' contains specify cell '%s' with T_{RISE,FALL}_MAX < 0 which is currently unsupported. Ignoring.\n", log_id(module), log_id(cell));
if (max <= 0) {
log_debug("Module '%s' contains specify cell '%s' with T_{RISE,FALL}_MAX <= 0 which is currently unsupported. Ignoring.\n", log_id(module), log_id(cell));
continue;
}
for (const auto &d : dst) {
auto &v = t.arrival[d];
v = std::max(v, max);
}
}
else if (cell->type == ID($specrule)) {
auto type = cell->getParam(ID(TYPE)).decode_string();
if (type != "$setup" && type != "$setuphold")
continue;
auto src = cell->getPort(ID(SRC));
auto dst = cell->getPort(ID(DST));
for (const auto &c : src.chunks())
if (!c.wire->port_input)
log_error("Module '%s' contains specify cell '%s' where SRC '%s' is not a module input.\n", log_id(module), log_id(cell), log_signal(src));
for (const auto &c : dst.chunks())
if (!c.wire->port_input)
log_error("Module '%s' contains specify cell '%s' where DST '%s' is not a module input.\n", log_id(module), log_id(cell), log_signal(dst));
int max = cell->getParam(ID(T_LIMIT_MAX)).as_int();
if (max < 0)
log_warning("Module '%s' contains specify cell '%s' with T_LIMIT_MAX < 0 which is currently unsupported. Ignoring.\n", log_id(module), log_id(cell));
if (max <= 0) {
log_debug("Module '%s' contains specify cell '%s' with T_LIMIT_MAX <= 0 which is currently unsupported. Ignoring.\n", log_id(module), log_id(cell));
continue;
}
for (const auto &s : src) {
auto &v = t.required[s];
v = std::max(v, max);
}
}
}
}
int delay(IdString module_name, const SigBit &src, const SigBit &dst) const {
auto it = data.find(module_name);
if (it == data.end())
return 0;
return it->second.comb.at(BitBit(src,dst), 0);
}
int arrival(IdString module_name, const SigBit &src) const {
auto it = data.find(module_name);
if (it == data.end())
return 0;
return it->second.arrival.at(src, 0);
}
int required(IdString module_name, const SigBit &dst) const {
auto it = data.find(module_name);
if (it == data.end())
return 0;
return it->second.required.at(dst, 0);
}
};
YOSYS_NAMESPACE_END
#endif

111
passes/techmap/abc9_ops.cc
View file

@ -22,6 +22,7 @@
#include "kernel/sigtools.h" #include "kernel/sigtools.h"
#include "kernel/utils.h" #include "kernel/utils.h"
#include "kernel/celltypes.h" #include "kernel/celltypes.h"
#include "kernel/timinginfo.h"
USING_YOSYS_NAMESPACE USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN PRIVATE_NAMESPACE_BEGIN
@ -380,9 +381,8 @@ void prep_xaiger(RTLIL::Module *module, bool dff)
void prep_delays(RTLIL::Design *design, bool dff_mode) void prep_delays(RTLIL::Design *design, bool dff_mode)
{ {
// Derive and collect all Yosys blackbox modules that are not combinatorial abc9 boxes // Derive all Yosys blackbox modules that are not combinatorial abc9 boxes
// (e.g. DSPs, RAMs, etc.) nor abc9 flops and collect all such instantiations // (e.g. DSPs, RAMs, etc.) nor abc9 flops and collect all such instantiations
pool<Module*> blackboxes;
pool<Module*> flops; pool<Module*> flops;
std::vector<Cell*> cells; std::vector<Cell*> cells;
for (auto module : design->selected_modules()) { for (auto module : design->selected_modules()) {
@ -405,7 +405,6 @@ void prep_delays(RTLIL::Design *design, bool dff_mode)
IdString blackboxes_type = inst_module->derive(design, cell->parameters); IdString blackboxes_type = inst_module->derive(design, cell->parameters);
inst_module = design->module(blackboxes_type); inst_module = design->module(blackboxes_type);
log_assert(inst_module); log_assert(inst_module);
blackboxes.insert(inst_module);
if (dff_mode && inst_module->get_bool_attribute(ID(abc9_flop))) { if (dff_mode && inst_module->get_bool_attribute(ID(abc9_flop))) {
flops.insert(inst_module); flops.insert(inst_module);
@ -417,70 +416,33 @@ void prep_delays(RTLIL::Design *design, bool dff_mode)
} }
} }
const TimingInfo timing(design);
// Transform all $specify3 and $specrule to abc9_{arrival,required} attributes // Transform all $specify3 and $specrule to abc9_{arrival,required} attributes
dict<SigBit, int> arrivals, requireds; // TODO: Deprecate
pool<Wire*> ports; pool<Wire*> ports;
std::stringstream ss; std::stringstream ss;
for (auto module : blackboxes) { for (auto module : design->modules()) {
arrivals.clear();
requireds.clear();
for (auto cell : module->cells()) {
if (cell->type == ID($specify3)) {
auto src = cell->getPort(ID(SRC));
auto dst = cell->getPort(ID(DST));
for (const auto &c : src.chunks())
if (!c.wire->port_input)
log_error("Module '%s' contains specify cell '%s' where SRC '%s' is not a module input.\n", log_id(module), log_id(cell), log_signal(src));
for (const auto &c : dst.chunks())
if (!c.wire->port_output)
log_error("Module '%s' contains specify cell '%s' where DST '%s' is not a module output.\n", log_id(module), log_id(cell), log_signal(dst));
int rise_max = cell->getParam(ID(T_RISE_MAX)).as_int();
int fall_max = cell->getParam(ID(T_FALL_MAX)).as_int();
int max = std::max(rise_max,fall_max);
if (max < 0)
log_warning("Module '%s' contains specify cell '%s' with T_{RISE,FALL}_MAX < 0 which is currently unsupported. Ignoring.\n", log_id(module), log_id(cell));
if (max <= 0) {
log_debug("Module '%s' contains specify cell '%s' with T_{RISE,FALL}_MAX <= 0 which is currently unsupported. Ignoring.\n", log_id(module), log_id(cell));
continue;
}
for (const auto &d : dst)
arrivals[d] = std::max(arrivals[d], max);
}
else if (cell->type == ID($specrule)) {
auto type = cell->getParam(ID(TYPE)).decode_string();
if (type != "$setup" && type != "$setuphold")
continue;
auto src = cell->getPort(ID(SRC));
auto dst = cell->getPort(ID(DST));
for (const auto &c : src.chunks())
if (!c.wire->port_input)
log_error("Module '%s' contains specify cell '%s' where SRC '%s' is not a module input.\n", log_id(module), log_id(cell), log_signal(src));
for (const auto &c : dst.chunks())
if (!c.wire->port_input)
log_error("Module '%s' contains specify cell '%s' where DST '%s' is not a module input.\n", log_id(module), log_id(cell), log_signal(dst));
int setup = cell->getParam(ID(T_LIMIT_MAX)).as_int();
if (setup < 0)
log_warning("Module '%s' contains specify cell '%s' with T_LIMIT_MAX < 0 which is currently unsupported. Ignoring.\n", log_id(module), log_id(cell));
if (setup <= 0) {
log_debug("Module '%s' contains specify cell '%s' with T_LIMIT_MAX <= 0 which is currently unsupported. Ignoring.\n", log_id(module), log_id(cell));
continue;
}
for (const auto &s : src)
requireds[s] = std::max(requireds[s], setup);
}
}
if (arrivals.empty() && requireds.empty()) auto it = timing.data.find(module->name);
continue; if (it == timing.data.end())
continue;
const auto &t = it->second;
if (t.arrival.empty() && t.required.empty())
continue;
const auto &arrival = t.arrival;
const auto &required = t.required;
ports.clear(); ports.clear();
for (const auto &i : arrivals) for (const auto &i : arrival)
ports.insert(i.first.wire); ports.insert(i.first.wire);
for (auto wire : ports) { for (auto wire : ports) {
log_assert(wire->port_output); log_assert(wire->port_output);
ss.str(""); ss.str("");
if (GetSize(wire) == 1) if (GetSize(wire) == 1)
wire->attributes[ID(abc9_arrival)] = arrivals.at(SigBit(wire,0)); wire->attributes[ID(abc9_arrival)] = arrival.at(SigBit(wire,0));
else { else {
bool first = true; bool first = true;
for (auto b : SigSpec(wire)) { for (auto b : SigSpec(wire)) {
@ -488,24 +450,20 @@ void prep_delays(RTLIL::Design *design, bool dff_mode)
first = false; first = false;
else else
ss << " "; ss << " ";
auto it = arrivals.find(b); ss << arrival.at(b, 0);
if (it == arrivals.end())
ss << "0";
else
ss << it->second;
} }
wire->attributes[ID(abc9_arrival)] = ss.str(); wire->attributes[ID(abc9_arrival)] = ss.str();
} }
} }
ports.clear(); ports.clear();
for (const auto &i : requireds) for (const auto &i : required)
ports.insert(i.first.wire); ports.insert(i.first.wire);
for (auto wire : ports) { for (auto wire : ports) {
log_assert(wire->port_input); log_assert(wire->port_input);
ss.str(""); ss.str("");
if (GetSize(wire) == 1) if (GetSize(wire) == 1)
wire->attributes[ID(abc9_required)] = requireds.at(SigBit(wire,0)); wire->attributes[ID(abc9_required)] = required.at(SigBit(wire,0));
else { else {
bool first = true; bool first = true;
for (auto b : SigSpec(wire)) { for (auto b : SigSpec(wire)) {
@ -513,11 +471,7 @@ void prep_delays(RTLIL::Design *design, bool dff_mode)
first = false; first = false;
else else
ss << " "; ss << " ";
auto it = requireds.find(b); ss << required.at(b, 0);
if (it == requireds.end())
ss << "0";
else
ss << it->second;
} }
wire->attributes[ID(abc9_required)] = ss.str(); wire->attributes[ID(abc9_required)] = ss.str();
} }
@ -567,7 +521,8 @@ void prep_delays(RTLIL::Design *design, bool dff_mode)
#ifndef NDEBUG #ifndef NDEBUG
if (ys_debug(1)) { if (ys_debug(1)) {
static std::set<std::pair<IdString,IdString>> seen; static std::set<std::pair<IdString,IdString>> seen;
if (seen.emplace(derived_type, conn.first).second) log("%s.%s abc9_required = %d\n", log_id(cell->type), log_id(conn.first), requireds[i]); if (seen.emplace(derived_type, conn.first).second) log("%s.%s abc9_required = '%s'\n", log_id(cell->type), log_id(conn.first),
port_wire->attributes.at("\\abc9_required").decode_string().c_str());
} }
#endif #endif
auto box = module->addCell(NEW_ID, ID($__ABC9_DELAY)); auto box = module->addCell(NEW_ID, ID($__ABC9_DELAY));
@ -659,6 +614,7 @@ void prep_box(RTLIL::Design *design, bool dff_mode)
auto abc9_flop = module->get_bool_attribute(ID(abc9_flop)); auto abc9_flop = module->get_bool_attribute(ID(abc9_flop));
if (abc9_flop) { if (abc9_flop) {
if (dff_mode) { if (dff_mode) {
log_dump(module->name);
int num_inputs = 0, num_outputs = 0; int num_inputs = 0, num_outputs = 0;
for (auto port_name : module->ports) { for (auto port_name : module->ports) {
auto wire = module->wire(port_name); auto wire = module->wire(port_name);
@ -699,7 +655,22 @@ void prep_box(RTLIL::Design *design, bool dff_mode)
first = false; first = false;
else else
ss << " "; ss << " ";
ss << wire->attributes.at("\\abc9_required", 0).as_int(); auto it = wire->attributes.find("\\abc9_required");
if (it == wire->attributes.end())
ss << 0;
else {
log_assert(it->second.flags == 0);
ss << it->second.as_int();
#ifndef NDEBUG
if (ys_debug(1)) {
static std::set<std::pair<IdString,IdString>> seen;
if (seen.emplace(module->name, port_name).second) log("%s.%s abc9_required = %d\n", log_id(module),
log_id(port_name), it->second.as_int());
}
#endif
}
} }
// Last input is 'abc9_ff.Q' // Last input is 'abc9_ff.Q'
ss << " 0" << std::endl << std::endl; ss << " 0" << std::endl << std::endl;