aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc.cc
Commit message (Expand)AuthorAgeFilesLines
...
* "&nf -D 0" fails => use "-D 1" insteadEddie Hung2019-04-051-1/+1
* abc -dff now implies "-D 0" otherwise retiming doesn't happenEddie Hung2019-04-051-0/+2
* abc: Improved recovered netnames, also preserve src on nets with dressDavid Shah2019-02-061-4/+13
* abc: Preserve naming through ABC using 'dress' commandDavid Shah2019-02-061-29/+51
* Revert "Proof-of-concept: preserve naming through ABC using dress"Clifford Wolf2018-12-161-51/+29
* abc: Preserve naming through ABC using 'dress' commandDavid Shah2018-12-061-29/+51
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* Fix infinite loop in abc command under emscriptenRobert Ou2018-05-181-5/+7
* Add an option to statically link abc into yosysRobert Ou2018-05-181-0/+20
* Add ABC FAQ to "help abc"Clifford Wolf2018-05-041-2/+6
* Rewrite ABC output to include proper net names in timing reportClifford Wolf2017-10-101-2/+17
* abc: Allow +/ filenames in the abc commandRobert Ou2017-08-141-0/+3
* Fix typo in "abc" pass help messageClifford Wolf2017-07-291-1/+1
* Fix handling of init values in "abc -dff" and "abc -clk"Clifford Wolf2017-06-201-131/+176
* Switched abc "clock domain not found" error to log_cmd_error()Clifford Wolf2017-06-201-24/+28
* Add aliases for common sets of gate types to "abc -g"Clifford Wolf2017-05-241-2/+74
* Add $_ANDNOT_ and $_ORNOT_ gatesClifford Wolf2017-05-171-21/+41
* Update ABC scripts to use "&nf" instead of "map"Clifford Wolf2017-02-011-3/+3
* Improved ABC default scriptsClifford Wolf2016-11-191-17/+34
* Bugfix in "abc -script" handlingClifford Wolf2016-06-191-53/+50
* Added "dc2" to default ABC scriptsClifford Wolf2016-06-171-5/+5
* Added "abc -I <num> -P <num>"Clifford Wolf2016-06-171-8/+33
* Added $sop cell type and "abc -sop"Clifford Wolf2016-06-171-6/+23
* Updated ABC to hg rev b5df6e2b76f0Clifford Wolf2016-06-171-9/+9
* Added "yosys -D" featureClifford Wolf2016-04-211-5/+5
* Improvements in ABCEXTERNAL handlingClifford Wolf2016-03-191-8/+14
* Support calling out to an external ABC.Sergey Kvachonok2016-03-191-4/+8
* Using "mfs" and "lutpack" in ABC lut mappingClifford Wolf2016-03-071-5/+14
* Added "abc -luts" option, Improved Xilinx logic mappingClifford Wolf2016-02-011-13/+37
* Added "abc -g"Clifford Wolf2015-11-101-11/+48
* Import more std:: stuff into Yosys namespaceClifford Wolf2015-10-251-1/+1
* Added buffer detection to "abc -lut"Clifford Wolf2015-09-181-0/+6
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-2/+2
* Some ASCII encoding fixes (comments and docs) by Larry DoolittleClifford Wolf2015-08-131-1/+1
* Fixed trailing whitespacesClifford Wolf2015-07-021-3/+3
* Generalized blifparse APIClifford Wolf2015-05-171-4/+6
* abc/blifparse files reorganizationClifford Wolf2015-05-171-0/+1539