diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-05-27 23:43:25 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-05-28 00:40:56 +0200 |
| commit | cbf6b719fe85ce8544f9bb0796711f3f45638862 (patch) | |
| tree | e5123705ba397f310a10c133d02fd4360c42800d /backends/smt2/smtbmc.py | |
| parent | 055ba748bcf8c77bff15bda0de49c0b4b3722bba (diff) | |
| download | yosys-cbf6b719fe85ce8544f9bb0796711f3f45638862.tar.gz yosys-cbf6b719fe85ce8544f9bb0796711f3f45638862.tar.bz2 yosys-cbf6b719fe85ce8544f9bb0796711f3f45638862.zip | |
Make a few passes auto-call Mem::narrow instead of rejecting wide ports.
This essentially adds wide port support for free in passes that don't
have a usefully better way of handling wide ports than just breaking
them up to narrow ports, avoiding "please run memory_narrow" annoyance.
Diffstat (limited to 'backends/smt2/smtbmc.py')
0 files changed, 0 insertions, 0 deletions