mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-03 09:50:24 +00:00
Code Activity

Add yosys-smtbmc VCD writer support for memories with async writes

Browse source
This commit is contained in:
Clifford Wolf 2017-12-14 03:05:20 +01:00
parent 6132e6e72a
commit 9419de3e37
3 changed files with 11 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

4
backends/smt2/smt2.cc
View file

@ -554,8 +554,6 @@ struct Smt2Worker
int rd_ports = cell->getParam("\\RD_PORTS").as_int();
int wr_ports = cell->getParam("\\WR_PORTS").as_int();
decls.push_back(stringf("; yosys-smt2-memory %s %d %d %d %d\n", get_id(cell), abits, width, rd_ports, wr_ports));
bool async_read = false;
if (!cell->getParam("\\WR_CLK_ENABLE").is_fully_ones()) {
if (!cell->getParam("\\WR_CLK_ENABLE").is_fully_zero())
@ -563,6 +561,8 @@ struct Smt2Worker
async_read = true;
}
decls.push_back(stringf("; yosys-smt2-memory %s %d %d %d %d %s\n", get_id(cell), abits, width, rd_ports, wr_ports, async_read ? "async" : "sync"));
string memstate;
if (async_read) {
memstate = stringf("%s#%d#final", get_id(module), arrayid);