diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-01-28 15:14:56 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-01-28 15:15:02 +0100 |
| commit | e54c355b417eb7fa19421176792d01cb7a62d4cb (patch) | |
| tree | 1449523b10dbadd642b6bbef8eb9b56d4da9998e /passes/equiv | |
| parent | 45e10c1c892a7f3082beb9a15aeaaada52267742 (diff) | |
| download | yosys-e54c355b417eb7fa19421176792d01cb7a62d4cb.tar.gz yosys-e54c355b417eb7fa19421176792d01cb7a62d4cb.tar.bz2 yosys-e54c355b417eb7fa19421176792d01cb7a62d4cb.zip | |
Add "yosys-smtbmc --aig-noheader" and AIGER mem init support
Diffstat (limited to 'passes/equiv')
0 files changed, 0 insertions, 0 deletions