mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

smt2, btor: Revert calling memory_map -rom-only

Browse source 
This approach had major issues with ROMs whose initialization was not
fully defined. If required, memory_map -rom-only -keepdc should be
called early in a formal flow instead. (This does require a careful
choice of optimization passes though. Sby's scripts will be updated
accordingly.)
This commit is contained in:
Jannis Harder 2022-06-29 18:28:34 +02:00
parent a6b440b5c9
commit 930bcf0e75
2 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
backends/btor/btor.cc
View file

@ -1405,7 +1405,6 @@ struct BtorBackend : public Backend {
log_header(design, "Executing BTOR backend.\n");
log_push();
Pass::call(design, "memory_map -rom-only -keepdc");
Pass::call(design, "bmuxmap");
Pass::call(design, "demuxmap");
log_pop();

1
backends/smt2/smt2.cc
View file

@ -1609,7 +1609,6 @@ struct Smt2Backend : public Backend {
log_header(design, "Executing SMT2 backend.\n");
log_push();
Pass::call(design, "memory_map -rom-only -keepdc");
Pass::call(design, "bmuxmap");
Pass::call(design, "demuxmap");
log_pop();