mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 17:44:09 +00:00
Code Activity

kernel/mem: Add a check() function.

Browse source
This commit is contained in:
Marcelina Kościelnicka 2021-05-22 16:36:50 +02:00
parent ff9e0394b8
commit c7076495f1
2 changed files with 26 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
kernel/mem.cc
View file

@ -52,6 +52,7 @@ void Mem::remove() {
} }
void Mem::emit() { void Mem::emit() {
check();
std::vector<int> rd_left; std::vector<int> rd_left;
for (int i = 0; i < GetSize(rd_ports); i++) { for (int i = 0; i < GetSize(rd_ports); i++) {
auto &port = rd_ports[i]; auto &port = rd_ports[i];
@ -257,6 +258,27 @@ Const Mem::get_init_data() const {
return init_data; return init_data;
} }
void Mem::check() {
for (auto &port : rd_ports) {
if (port.removed)
continue;
log_assert(GetSize(port.clk) == 1);
log_assert(GetSize(port.en) == 1);
log_assert(GetSize(port.data) == width);
if (!port.clk_enable) {
log_assert(!port.transparent);
}
}
for (int i = 0; i < GetSize(wr_ports); i++) {
auto &port = wr_ports[i];
if (port.removed)
continue;
log_assert(GetSize(port.clk) == 1);
log_assert(GetSize(port.en) == width);
log_assert(GetSize(port.data) == width);
}
}
namespace { namespace {
struct MemIndex { struct MemIndex {
@ -333,6 +355,7 @@ namespace {
for (auto &it : inits) for (auto &it : inits)
res.inits.push_back(it.second); res.inits.push_back(it.second);
} }
res.check();
return res; return res;
} }
@ -389,6 +412,7 @@ namespace {
mwr.data = cell->getPort(ID::WR_DATA).extract(i * res.width, res.width); mwr.data = cell->getPort(ID::WR_DATA).extract(i * res.width, res.width);
res.wr_ports.push_back(mwr); res.wr_ports.push_back(mwr);
} }
res.check();
return res; return res;
} }
@ -451,6 +475,7 @@ Cell *Mem::extract_rdff(int idx) {
port.clk = State::S0; port.clk = State::S0;
port.clk_enable = false; port.clk_enable = false;
port.clk_polarity = true; port.clk_polarity = true;
port.transparent = false;
return c; return c;
} }

1
kernel/mem.h
View file

@ -66,6 +66,7 @@ struct Mem {
void remove(); void remove();
void emit(); void emit();
void clear_inits(); void clear_inits();
void check();
Const get_init_data() const; Const get_init_data() const;
static std::vector<Mem> get_all_memories(Module *module); static std::vector<Mem> get_all_memories(Module *module);
static std::vector<Mem> get_selected_memories(Module *module); static std::vector<Mem> get_selected_memories(Module *module);