diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-08-28 12:21:15 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-08-28 12:21:15 -0700 |
| commit | ebd0a1875b74460da10d9b114e97c1468d8542db (patch) | |
| tree | 01118cbc5f2b758b3adc5539486a601c53149d77 /passes/sat | |
| parent | 32eef26ee277b79736e135a8800625543dd6080a (diff) | |
| download | yosys-ebd0a1875b74460da10d9b114e97c1468d8542db.tar.gz yosys-ebd0a1875b74460da10d9b114e97c1468d8542db.tar.bz2 yosys-ebd0a1875b74460da10d9b114e97c1468d8542db.zip | |
Use equiv_opt for latches
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions