diff options
| author | Jannis Harder <me@jix.one> | 2022-06-29 18:28:34 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-06-29 18:28:34 +0200 |
| commit | 930bcf0e75f3b8d6c5afbdffda5ef7fd7eddc964 (patch) | |
| tree | 22888c5c6ed69122274b3f210f9e000ef6f7ae44 /backends/btor | |
| parent | a6b440b5c9c4fb0472c01aec84961c3f1b40c954 (diff) | |
| download | yosys-930bcf0e75f3b8d6c5afbdffda5ef7fd7eddc964.tar.gz yosys-930bcf0e75f3b8d6c5afbdffda5ef7fd7eddc964.tar.bz2 yosys-930bcf0e75f3b8d6c5afbdffda5ef7fd7eddc964.zip | |
smt2, btor: Revert calling memory_map -rom-only
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.)
Diffstat (limited to 'backends/btor')
| -rw-r--r-- | backends/btor/btor.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 2dc3b5954..831a3ada2 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -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(); |