diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-01-01 11:13:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-01 11:13:48 +0100 |
| commit | 4b9f619349e6b7452739631635ab3b5a4d94b522 (patch) | |
| tree | c794e925cb1c97324c6a0be573fc1b916ad4ddb2 /frontends/verific | |
| parent | 0a840dd88334c382314db3aafc2f1da2a1969df2 (diff) | |
| parent | 42c356c49c04a735fe27e672ff31452170f84b40 (diff) | |
| download | yosys-4b9f619349e6b7452739631635ab3b5a4d94b522.tar.gz yosys-4b9f619349e6b7452739631635ab3b5a4d94b522.tar.bz2 yosys-4b9f619349e6b7452739631635ab3b5a4d94b522.zip | |
Merge pull request #768 from whitequark/opt_lut_elim
opt_lut: eliminate LUTs evaluating to constants or inputs
Diffstat (limited to 'frontends/verific')
0 files changed, 0 insertions, 0 deletions