diff options
| author | whitequark <whitequark@whitequark.org> | 2021-07-16 10:05:24 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2021-07-16 10:14:40 +0000 |
| commit | 09218896d606726c7e3cd9caa635445694338fba (patch) | |
| tree | 8aa31b5b70e104b630f0e4fc1f93a9965529e43b /backends/btor | |
| parent | 10c3214e566d8c763a68b7b18317171b707caca4 (diff) | |
| download | yosys-09218896d606726c7e3cd9caa635445694338fba.tar.gz yosys-09218896d606726c7e3cd9caa635445694338fba.tar.bz2 yosys-09218896d606726c7e3cd9caa635445694338fba.zip | |
cxxrtl: emit debug items for unused public wires.
This greatly improves debug information coverage.
Fixes #2500.
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions