diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2020-07-12 15:39:40 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2020-07-12 17:39:13 +0200 |
| commit | 240351c44ecadc3a5c67b298568a04373883eca5 (patch) | |
| tree | 49005db55bf1e757176ea470d99b7b5c3509ed9e /examples/smtbmc | |
| parent | eef0ec6aed782363c833cd378a158ca60d9d9314 (diff) | |
| download | yosys-240351c44ecadc3a5c67b298568a04373883eca5.tar.gz yosys-240351c44ecadc3a5c67b298568a04373883eca5.tar.bz2 yosys-240351c44ecadc3a5c67b298568a04373883eca5.zip | |
dfflegalize: Gather init values from all wires.
Skipping non-selected wires is unsound in an obvious way.
Diffstat (limited to 'examples/smtbmc')
0 files changed, 0 insertions, 0 deletions