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 /passes/sat/async2sync.cc | |
| 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 'passes/sat/async2sync.cc')
0 files changed, 0 insertions, 0 deletions