diff options
| author | Jannis Harder <me@jix.one> | 2023-01-11 16:26:04 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-11 16:26:04 +0100 |
| commit | 5abaa5908082f13f6b574d66f6f8a9ebb476fd54 (patch) | |
| tree | 4438609065528688666e63ffa2e737bced73d35c /backends/btor/btor.cc | |
| parent | d742d063d4e887f3e4dba8bab1a37d160596977d (diff) | |
| parent | eb0039848b42afa196f440301492a5afc09b4cf4 (diff) | |
| download | yosys-5abaa5908082f13f6b574d66f6f8a9ebb476fd54.tar.gz yosys-5abaa5908082f13f6b574d66f6f8a9ebb476fd54.tar.bz2 yosys-5abaa5908082f13f6b574d66f6f8a9ebb476fd54.zip | |
Merge pull request #3537 from jix/xprop
New xprop pass
Diffstat (limited to 'backends/btor/btor.cc')
| -rw-r--r-- | backends/btor/btor.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 06de71018..8368ab82d 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -1417,6 +1417,7 @@ struct BtorBackend : public Backend { log_push(); Pass::call(design, "bmuxmap"); Pass::call(design, "demuxmap"); + Pass::call(design, "bwmuxmap"); log_pop(); size_t argidx; |