aboutsummaryrefslogtreecommitdiffstats
path: root/passes/equiv/equiv_opt.cc
Commit message (Collapse)AuthorAgeFilesLines
* xilinx: Add xilinx_dffopt pass (#1557)Marcin Koƛcielnicki2019-12-181-2/+16
|
* Add -async2sync to help text as per @daveshah1Eddie Hung2019-10-041-1/+4
|
* Restore part of docEddie Hung2019-10-031-1/+2
|
* Add new -async2sync optionEddie Hung2019-10-031-1/+11
|
* Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys"Eddie Hung2019-10-031-2/+0
| | | | This reverts commit a39505e329cc05dbd4ad624a1cf0f6caf664fd9a.
* Revert "Update doc for equiv_opt"Eddie Hung2019-10-031-3/+2
| | | | This reverts commit a274b7cc86d4f64541d3d2903b4eeed4616ab1d8.
* Update doc for equiv_optEddie Hung2019-09-301-2/+3
|
* equiv_opt to call async2sync when not -multiclock like SymbiYosysEddie Hung2019-09-271-0/+2
|
* Add equiv_opt -multiclockDavid Shah2019-09-111-1/+11
| | | | Signed-off-by: David Shah <dave@ds0.me>
* substr() -> compare()Eddie Hung2019-08-071-1/+1
|
* Add -undef option to equiv_opt, passed to equiv_inductEddie Hung2019-04-261-3/+16
|
* Add "techmap -wb", use in formal flowsClifford Wolf2019-04-201-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix equiv_opt indentingClifford Wolf2018-12-161-139/+129
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* equiv_opt: pass -D EQUIV when techmapping.whitequark2018-12-071-2/+4
| | | | | This allows avoiding techmap crashes e.g. because of large memories in white-box cell models.
* equiv_opt: new command, for verifying optimization passes.whitequark2018-12-071-0/+165