yosys/passes/memory/memory_map.cc

423 lines
13 KiB
C++
Raw Normal View History

2013-01-05 04:13:26 -06:00
/*
* yosys -- Yosys Open SYnthesis Suite
*
* Copyright (C) 2012 Claire Xenia Wolf <claire@yosyshq.com>
2015-07-02 04:14:30 -05:00
*
2013-01-05 04:13:26 -06:00
* 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.
2015-07-02 04:14:30 -05:00
*
2013-01-05 04:13:26 -06:00
* 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.
*
*/
#include "kernel/register.h"
#include "kernel/log.h"
2020-10-17 15:20:32 -05:00
#include "kernel/mem.h"
2013-01-05 04:13:26 -06:00
#include <sstream>
#include <set>
#include <stdlib.h>
2014-09-27 09:17:53 -05:00
USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN
2014-08-30 10:39:08 -05:00
struct MemoryMapWorker
2013-01-05 04:13:26 -06:00
{
bool attr_icase = false;
dict<RTLIL::IdString, std::vector<RTLIL::Const>> attributes;
2014-08-30 10:39:08 -05:00
RTLIL::Design *design;
RTLIL::Module *module;
SigMap sigmap;
FfInitVals initvals;
2013-01-05 04:13:26 -06:00
std::map<std::pair<RTLIL::SigSpec, RTLIL::SigSpec>, RTLIL::SigBit> decoder_cache;
MemoryMapWorker(RTLIL::Design *design, RTLIL::Module *module) : design(design), module(module), sigmap(module), initvals(&sigmap, module) {}
std::string map_case(std::string value) const
{
if (attr_icase) {
for (char &c : value)
c = tolower(c);
}
return value;
}
RTLIL::Const map_case(RTLIL::Const value) const
{
if (value.flags & RTLIL::CONST_FLAG_STRING)
return map_case(value.decode_string());
return value;
}
2014-08-30 10:39:08 -05:00
std::string genid(RTLIL::IdString name, std::string token1 = "", int i = -1, std::string token2 = "", int j = -1, std::string token3 = "", int k = -1, std::string token4 = "")
{
std::stringstream sstr;
sstr << "$memory" << name.str() << token1;
2015-07-02 04:14:30 -05:00
2014-08-30 10:39:08 -05:00
if (i >= 0)
sstr << "[" << i << "]";
2013-01-05 04:13:26 -06:00
2014-08-30 10:39:08 -05:00
sstr << token2;
2013-01-05 04:13:26 -06:00
2014-08-30 10:39:08 -05:00
if (j >= 0)
sstr << "[" << j << "]";
2013-01-05 04:13:26 -06:00
2014-08-30 10:39:08 -05:00
sstr << token3;
2013-01-05 04:13:26 -06:00
2014-08-30 10:39:08 -05:00
if (k >= 0)
sstr << "[" << k << "]";
2013-01-05 04:13:26 -06:00
2014-08-30 10:39:08 -05:00
sstr << token4 << "$" << (autoidx++);
return sstr.str();
2013-01-05 04:13:26 -06:00
}
RTLIL::Wire *addr_decode(RTLIL::SigSpec addr_sig, RTLIL::SigSpec addr_val)
{
std::pair<RTLIL::SigSpec, RTLIL::SigSpec> key(addr_sig, addr_val);
log_assert(GetSize(addr_sig) == GetSize(addr_val));
if (decoder_cache.count(key) == 0) {
if (GetSize(addr_sig) < 2) {
decoder_cache[key] = module->Eq(NEW_ID, addr_sig, addr_val);
} else {
int split_at = GetSize(addr_sig) / 2;
RTLIL::SigBit left_eq = addr_decode(addr_sig.extract(0, split_at), addr_val.extract(0, split_at));
RTLIL::SigBit right_eq = addr_decode(addr_sig.extract(split_at, GetSize(addr_sig) - split_at), addr_val.extract(split_at, GetSize(addr_val) - split_at));
decoder_cache[key] = module->And(NEW_ID, left_eq, right_eq);
}
}
RTLIL::SigBit bit = decoder_cache.at(key);
log_assert(bit.wire != nullptr && GetSize(bit.wire) == 1);
return bit.wire;
}
2020-10-17 15:20:32 -05:00
void handle_memory(Mem &mem)
2014-08-30 10:39:08 -05:00
{
std::set<int> static_ports;
std::map<int, RTLIL::SigSpec> static_cells_map;
2020-10-17 15:20:32 -05:00
SigSpec init_data = mem.get_init_data();
2014-08-30 10:39:08 -05:00
// delete unused memory cell
2020-10-17 15:20:32 -05:00
if (mem.rd_ports.empty()) {
mem.remove();
2014-08-30 10:39:08 -05:00
return;
2013-01-05 04:13:26 -06:00
}
2014-08-30 10:39:08 -05:00
2020-10-17 15:20:32 -05:00
// check if attributes allow us to infer FFRAM for this memory
for (const auto &attr : attributes) {
2020-10-17 15:20:32 -05:00
if (mem.attributes.count(attr.first)) {
const auto &cell_attr = mem.attributes[attr.first];
if (attr.second.empty()) {
2020-10-17 15:20:32 -05:00
log("Not mapping memory %s in module %s (attribute %s is set).\n",
mem.memid.c_str(), module->name.c_str(), attr.first.c_str());
return;
}
bool found = false;
for (auto &value : attr.second) {
if (map_case(cell_attr) == map_case(value)) {
found = true;
break;
}
}
if (!found) {
if (cell_attr.flags & RTLIL::CONST_FLAG_STRING) {
2020-10-17 15:20:32 -05:00
log("Not mapping memory %s in module %s (attribute %s is set to \"%s\").\n",
mem.memid.c_str(), module->name.c_str(), attr.first.c_str(), cell_attr.decode_string().c_str());
} else {
2020-10-17 15:20:32 -05:00
log("Not mapping memory %s in module %s (attribute %s is set to %d).\n",
mem.memid.c_str(), module->name.c_str(), attr.first.c_str(), cell_attr.as_int());
}
return;
}
}
}
2014-08-30 10:39:08 -05:00
// all write ports must share the same clock
RTLIL::SigSpec refclock;
2020-10-17 15:20:32 -05:00
bool refclock_pol = false;
for (int i = 0; i < GetSize(mem.wr_ports); i++) {
auto &port = mem.wr_ports[i];
if (port.en.is_fully_const() && !port.en.as_bool()) {
2013-01-05 04:13:26 -06:00
static_ports.insert(i);
continue;
}
2020-10-17 15:20:32 -05:00
if (!port.clk_enable) {
2021-05-24 09:35:25 -05:00
if (port.addr.is_fully_const() && port.en.is_fully_ones()) {
for (int sub = 0; sub < (1 << port.wide_log2); sub++)
static_cells_map[port.addr.as_int() + sub] = port.data.extract(sub * mem.width, mem.width);
2014-08-30 10:39:08 -05:00
static_ports.insert(i);
continue;
}
2020-10-17 15:20:32 -05:00
log("Not mapping memory %s in module %s (write port %d has no clock).\n",
mem.memid.c_str(), module->name.c_str(), i);
2014-08-30 10:39:08 -05:00
return;
}
if (refclock.size() == 0) {
2020-10-17 15:20:32 -05:00
refclock = port.clk;
refclock_pol = port.clk_polarity;
2014-08-30 10:39:08 -05:00
}
2020-10-17 15:20:32 -05:00
if (port.clk != refclock || port.clk_polarity != refclock_pol) {
log("Not mapping memory %s in module %s (write clock %d is incompatible with other clocks).\n",
mem.memid.c_str(), module->name.c_str(), i);
2014-08-30 10:39:08 -05:00
return;
}
2013-01-05 04:13:26 -06:00
}
2020-10-17 15:20:32 -05:00
log("Mapping memory %s in module %s:\n", mem.memid.c_str(), module->name.c_str());
2013-01-05 04:13:26 -06:00
int abits = ceil_log2(mem.size);
std::vector<RTLIL::SigSpec> data_reg_in(1 << abits);
std::vector<RTLIL::SigSpec> data_reg_out(1 << abits);
2013-01-05 04:13:26 -06:00
2014-08-30 10:39:08 -05:00
int count_static = 0;
2013-01-05 04:13:26 -06:00
2020-10-17 15:20:32 -05:00
for (int i = 0; i < mem.size; i++)
2013-01-05 04:13:26 -06:00
{
int addr = i + mem.start_offset;
int idx = addr & ((1 << abits) - 1);
if (static_cells_map.count(addr) > 0)
2014-08-30 10:39:08 -05:00
{
data_reg_out[idx] = static_cells_map[addr];
2014-08-30 10:39:08 -05:00
count_static++;
}
2014-08-30 10:39:08 -05:00
else
{
RTLIL::Cell *c = module->addCell(genid(mem.memid, "", addr), ID($dff));
2020-10-17 15:20:32 -05:00
c->parameters[ID::WIDTH] = mem.width;
if (GetSize(refclock) != 0) {
c->parameters[ID::CLK_POLARITY] = RTLIL::Const(refclock_pol);
c->setPort(ID::CLK, refclock);
2014-08-30 10:39:08 -05:00
} else {
c->parameters[ID::CLK_POLARITY] = RTLIL::Const(RTLIL::State::S1);
c->setPort(ID::CLK, RTLIL::SigSpec(RTLIL::State::S0));
2014-08-30 10:39:08 -05:00
}
2013-01-05 04:13:26 -06:00
RTLIL::Wire *w_in = module->addWire(genid(mem.memid, "", addr, "$d"), mem.width);
data_reg_in[idx] = w_in;
c->setPort(ID::D, w_in);
2013-01-05 04:13:26 -06:00
std::string w_out_name = stringf("%s[%d]", mem.memid.c_str(), addr);
2014-08-30 10:39:08 -05:00
if (module->wires_.count(w_out_name) > 0)
w_out_name = genid(mem.memid, "", addr, "$q");
2020-10-17 15:20:32 -05:00
RTLIL::Wire *w_out = module->addWire(w_out_name, mem.width);
SigSpec w_init = init_data.extract(i*mem.width, mem.width);
if (!w_init.is_fully_undef())
w_out->attributes[ID::init] = w_init.as_const();
data_reg_out[idx] = w_out;
c->setPort(ID::Q, w_out);
2014-08-30 10:39:08 -05:00
}
2013-01-05 04:13:26 -06:00
}
2020-10-17 15:20:32 -05:00
log(" created %d $dff cells and %d static cells of width %d.\n", mem.size-count_static, count_static, mem.width);
2013-01-05 04:13:26 -06:00
2014-08-30 10:39:08 -05:00
int count_dff = 0, count_mux = 0, count_wrmux = 0;
2013-01-05 04:13:26 -06:00
2020-10-17 15:20:32 -05:00
for (int i = 0; i < GetSize(mem.rd_ports); i++)
2013-01-05 04:13:26 -06:00
{
2020-10-17 15:20:32 -05:00
auto &port = mem.rd_ports[i];
if (mem.extract_rdff(i, &initvals))
2020-10-17 15:20:32 -05:00
count_dff++;
RTLIL::SigSpec rd_addr = port.addr;
rd_addr.extend_u0(abits, false);
2013-01-05 04:13:26 -06:00
2014-08-30 10:39:08 -05:00
std::vector<RTLIL::SigSpec> rd_signals;
2020-10-17 15:20:32 -05:00
rd_signals.push_back(port.data);
2013-01-05 04:13:26 -06:00
2021-05-24 09:35:25 -05:00
for (int j = 0; j < abits - port.wide_log2; j++)
2013-01-05 04:13:26 -06:00
{
2014-08-30 10:39:08 -05:00
std::vector<RTLIL::SigSpec> next_rd_signals;
2013-01-05 04:13:26 -06:00
2014-08-30 10:39:08 -05:00
for (size_t k = 0; k < rd_signals.size(); k++)
{
2020-10-17 15:20:32 -05:00
RTLIL::Cell *c = module->addCell(genid(mem.memid, "$rdmux", i, "", j, "", k), ID($mux));
2021-05-24 09:35:25 -05:00
c->parameters[ID::WIDTH] = GetSize(port.data);
2020-03-12 14:57:01 -05:00
c->setPort(ID::Y, rd_signals[k]);
2020-10-17 15:20:32 -05:00
c->setPort(ID::S, rd_addr.extract(abits-j-1, 1));
2014-08-30 10:39:08 -05:00
count_mux++;
2013-01-05 04:13:26 -06:00
2021-05-24 09:35:25 -05:00
c->setPort(ID::A, module->addWire(genid(mem.memid, "$rdmux", i, "", j, "", k, "$a"), GetSize(port.data)));
c->setPort(ID::B, module->addWire(genid(mem.memid, "$rdmux", i, "", j, "", k, "$b"), GetSize(port.data)));
2013-01-05 04:13:26 -06:00
2020-03-12 14:57:01 -05:00
next_rd_signals.push_back(c->getPort(ID::A));
next_rd_signals.push_back(c->getPort(ID::B));
2014-08-30 10:39:08 -05:00
}
2013-01-05 04:13:26 -06:00
2014-08-30 10:39:08 -05:00
next_rd_signals.swap(rd_signals);
}
2013-01-05 04:13:26 -06:00
for (int j = 0; j < (1 << abits); j++)
if (data_reg_out[j] != SigSpec())
module->connect(RTLIL::SigSig(rd_signals[j >> port.wide_log2].extract((j & ((1 << port.wide_log2) - 1)) * mem.width, mem.width), data_reg_out[j]));
2014-08-30 10:39:08 -05:00
}
2013-01-05 04:13:26 -06:00
2014-08-30 10:39:08 -05:00
log(" read interface: %d $dff and %d $mux cells.\n", count_dff, count_mux);
2013-01-05 04:13:26 -06:00
2020-10-17 15:20:32 -05:00
for (int i = 0; i < mem.size; i++)
2013-01-05 04:13:26 -06:00
{
int addr = i + mem.start_offset;
int idx = addr & ((1 << abits) - 1);
if (static_cells_map.count(addr) > 0)
2014-08-30 10:39:08 -05:00
continue;
RTLIL::SigSpec sig = data_reg_out[idx];
2020-10-17 15:20:32 -05:00
for (int j = 0; j < GetSize(mem.wr_ports); j++)
2014-08-30 10:39:08 -05:00
{
2020-10-17 15:20:32 -05:00
auto &port = mem.wr_ports[j];
RTLIL::SigSpec wr_addr = port.addr.extract_end(port.wide_log2);
RTLIL::Wire *w_seladdr = addr_decode(wr_addr, RTLIL::SigSpec(addr >> port.wide_log2, GetSize(wr_addr)));
2021-05-24 09:35:25 -05:00
int sub = addr & ((1 << port.wide_log2) - 1);
2014-08-30 10:39:08 -05:00
int wr_offset = 0;
2021-05-24 09:35:25 -05:00
while (wr_offset < mem.width)
{
2014-08-30 10:39:08 -05:00
int wr_width = 1;
2021-05-24 09:35:25 -05:00
RTLIL::SigSpec wr_bit = port.en.extract(wr_offset + sub * mem.width, 1);
2014-08-30 10:39:08 -05:00
2021-05-24 09:35:25 -05:00
while (wr_offset + wr_width < mem.width) {
RTLIL::SigSpec next_wr_bit = port.en.extract(wr_offset + wr_width + sub * mem.width, 1);
2014-08-30 10:39:08 -05:00
if (next_wr_bit != wr_bit)
break;
wr_width++;
}
RTLIL::Wire *w = w_seladdr;
2019-08-06 18:22:47 -05:00
if (wr_bit != State::S1)
2014-08-30 10:39:08 -05:00
{
RTLIL::Cell *c = module->addCell(genid(mem.memid, "$wren", addr, "", j, "", wr_offset), ID($and));
c->parameters[ID::A_SIGNED] = RTLIL::Const(0);
c->parameters[ID::B_SIGNED] = RTLIL::Const(0);
c->parameters[ID::A_WIDTH] = RTLIL::Const(1);
c->parameters[ID::B_WIDTH] = RTLIL::Const(1);
c->parameters[ID::Y_WIDTH] = RTLIL::Const(1);
2020-03-12 14:57:01 -05:00
c->setPort(ID::A, w);
c->setPort(ID::B, wr_bit);
2014-08-30 10:39:08 -05:00
w = module->addWire(genid(mem.memid, "$wren", addr, "", j, "", wr_offset, "$y"));
2020-03-12 14:57:01 -05:00
c->setPort(ID::Y, RTLIL::SigSpec(w));
2014-08-30 10:39:08 -05:00
}
RTLIL::Cell *c = module->addCell(genid(mem.memid, "$wrmux", addr, "", j, "", wr_offset), ID($mux));
c->parameters[ID::WIDTH] = wr_width;
2020-03-12 14:57:01 -05:00
c->setPort(ID::A, sig.extract(wr_offset, wr_width));
2021-05-24 09:35:25 -05:00
c->setPort(ID::B, port.data.extract(wr_offset + sub * mem.width, wr_width));
2020-03-12 14:57:01 -05:00
c->setPort(ID::S, RTLIL::SigSpec(w));
2014-08-30 10:39:08 -05:00
w = module->addWire(genid(mem.memid, "$wrmux", addr, "", j, "", wr_offset, "$y"), wr_width);
2020-03-12 14:57:01 -05:00
c->setPort(ID::Y, w);
2014-08-30 10:39:08 -05:00
sig.replace(wr_offset, w);
wr_offset += wr_width;
count_wrmux++;
}
}
2013-01-05 04:13:26 -06:00
module->connect(RTLIL::SigSig(data_reg_in[idx], sig));
2014-08-30 10:39:08 -05:00
}
2013-01-05 04:13:26 -06:00
log(" write interface: %d write mux blocks.\n", count_wrmux);
2013-01-05 04:13:26 -06:00
2020-10-17 15:20:32 -05:00
mem.remove();
2014-08-30 10:39:08 -05:00
}
2013-01-05 04:13:26 -06:00
void run()
2014-08-30 10:39:08 -05:00
{
2020-10-17 15:20:32 -05:00
for (auto &mem : Mem::get_selected_memories(module))
handle_memory(mem);
2014-08-30 10:39:08 -05:00
}
};
2013-01-05 04:13:26 -06:00
struct MemoryMapPass : public Pass {
2013-03-01 03:17:35 -06:00
MemoryMapPass() : Pass("memory_map", "translate multiport memories to basic cells") { }
2020-06-18 18:34:52 -05:00
void help() override
2013-03-01 03:17:35 -06:00
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
log("\n");
log(" memory_map [options] [selection]\n");
2013-03-01 03:17:35 -06:00
log("\n");
log("This pass converts multiport memory cells as generated by the memory_collect\n");
log("pass to word-wide DFFs and address decoders.\n");
log("\n");
log(" -attr !<name>\n");
log(" do not map memories that have attribute <name> set.\n");
log("\n");
log(" -attr <name>[=<value>]\n");
log(" for memories that have attribute <name> set, only map them if its value\n");
log(" is a string <value> (if specified), or an integer 1 (otherwise). if this\n");
log(" option is specified multiple times, map the memory if the attribute is\n");
log(" to any of the values.\n");
log("\n");
log(" -iattr\n");
log(" for -attr, ignore case of <value>.\n");
log("\n");
2013-03-01 03:17:35 -06:00
}
2020-06-18 18:34:52 -05:00
void execute(std::vector<std::string> args, RTLIL::Design *design) override
{
bool attr_icase = false;
dict<RTLIL::IdString, std::vector<RTLIL::Const>> attributes;
2020-10-17 15:20:32 -05:00
log_header(design, "Executing MEMORY_MAP pass (converting memories to logic and flip-flops).\n");
size_t argidx;
for (argidx = 1; argidx < args.size(); argidx++)
{
if (args[argidx] == "-attr" && argidx + 1 < args.size())
{
std::string attr_arg = args[++argidx];
std::string name;
RTLIL::Const value;
size_t eq_at = attr_arg.find('=');
if (eq_at != std::string::npos) {
name = attr_arg.substr(0, eq_at);
value = attr_arg.substr(eq_at + 1);
} else {
name = attr_arg;
value = RTLIL::Const(1);
}
if (attr_arg.size() > 1 && attr_arg[0] == '!') {
if (value != RTLIL::Const(1)) {
--argidx;
break; // we don't support -attr !<name>=<value>
}
attributes[RTLIL::escape_id(name.substr(1))].clear();
} else {
attributes[RTLIL::escape_id(name)].push_back(value);
}
continue;
}
if (args[argidx] == "-iattr")
{
attr_icase = true;
continue;
}
break;
}
extra_args(args, argidx, design);
for (auto mod : design->selected_modules()) {
MemoryMapWorker worker(design, mod);
worker.attr_icase = attr_icase;
worker.attributes = attributes;
worker.run();
}
2013-01-05 04:13:26 -06:00
}
} MemoryMapPass;
2015-07-02 04:14:30 -05:00
2014-09-27 09:17:53 -05:00
PRIVATE_NAMESPACE_END