aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc9.cc
Commit message (Expand)AuthorAgeFilesLines
...
| * abc9: remove -markgroups option, since operates on fully selected modEddie Hung2020-01-061-22/+1
| * abc9: cleanupEddie Hung2020-01-061-12/+13
| * Add abc9.dff scratchpad optionEddie Hung2020-01-061-0/+1
| * Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-061-36/+67
| |\
| | * inherit default values when checking scratchpad for argumentsN. Engelhardt2020-01-061-27/+10
| | * share codepath for scratchpad argument handling with command argumentsN. Engelhardt2020-01-031-40/+84
| | * Merge branch 'master' of https://github.com/YosysHQ/yosys into abc_scratchpad...N. Engelhardt2020-01-031-19/+18
| | |\
| | * | check scratchpad variable abc9.scriptfileN. Engelhardt2019-12-171-0/+2
| | * | check scratchpad variables for custom abc scriptsN. Engelhardt2019-12-131-0/+2
* | | | Fix when -dff not givenEddie Hung2020-01-041-1/+4
* | | | Call -prep_holes before aigmap; fix topo orderingEddie Hung2020-01-031-5/+2
* | | | WIPEddie Hung2020-01-031-5/+7
* | | | Preserve topo ordering from -prep_holes to write_xaigerEddie Hung2020-01-031-5/+1
* | | | WIPEddie Hung2020-01-031-1/+5
* | | | WIPEddie Hung2020-01-031-7/+7
* | | | aigmap everythingEddie Hung2020-01-021-1/+1
* | | | Move scc operations out of inner loopEddie Hung2020-01-021-8/+4
* | | | CleanupEddie Hung2020-01-021-2/+1
* | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-021-7/+17
|\| | |
| * | | Update docEddie Hung2020-01-021-4/+4
| * | | abc9 -keepff -> -dff; refactor dff operationsEddie Hung2020-01-021-19/+30
| * | | Cleanup abc9, update doc for -keepff optionEddie Hung2020-01-011-6/+5
| * | | Restore abc9 -keepffEddie Hung2020-01-011-39/+40
| * | | attributes.count() -> get_bool_attribute()Eddie Hung2020-01-011-2/+2
| * | | parse_xaiger to not take box_lookupEddie Hung2019-12-311-43/+4
| * | | Do not re-order carry chain ports, just precompute iteration orderEddie Hung2019-12-311-22/+0
* | | | Remove abc9 -clk optionEddie Hung2019-12-301-1/+1
* | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2019-12-301-9/+0
|\| | |
| * | | Remove delay targets docEddie Hung2019-12-301-9/+0
* | | | Move Pass::call() out of abc9_ops into abc9Eddie Hung2019-12-301-2/+12
* | | | Add abc9_ops -prep_holesEddie Hung2019-12-301-1/+1
* | | | Add abc9_ops -prep_dffEddie Hung2019-12-301-4/+4
* | | | Restore count_outputs, move process check to abcEddie Hung2019-12-301-1/+9
* | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2019-12-301-17/+11
|\| | |
| * | | write_xaiger to use scratchpad for stats; cleanup abc9Eddie Hung2019-12-301-173/+15
| * | | Add "synth_xilinx -dff" option, cleanup abc9Eddie Hung2019-12-301-49/+19
| * | | Disable clock domain partitioning in Yosys pass, let ABC do itEddie Hung2019-12-231-6/+22
| * | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-201-19/+18
| |\ \ \ | | | |/ | | |/|
| * | | Split into $__ABC9_ASYNC[01], do not add cell->type to clkdomain_tEddie Hung2019-12-191-5/+5
| * | | Remove &verify -sEddie Hung2019-12-171-1/+1
| * | | Use pool<> instead of std::set<> to preserver orderingEddie Hung2019-12-171-6/+6
| * | | Put $__ABC9_{FF_,ASYNC} into same clock domain as abc9_flopEddie Hung2019-12-161-5/+27
| * | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-061-29/+40
| |\ \ \ | | | |/ | | |/|
| * | | Call abc9 with "&write -n", and parse_xaiger() to copeEddie Hung2019-12-061-2/+2
| * | | Fix abc9 re-integration, remove abc9_control_wire, use cell->type asEddie Hung2019-12-061-39/+15
| * | | abc9 to do clock partitioning againEddie Hung2019-12-051-37/+144
| * | | Add assertionEddie Hung2019-12-031-0/+1
| * | | Add abc9_init wire, attach to abc9_flop cellEddie Hung2019-12-031-2/+12
| * | | CleanupEddie Hung2019-12-011-3/+2
| * | | Fix debugEddie Hung2019-11-251-3/+3