Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Revert ""&nf -D 0" fails => use "-D 1" instead" | Eddie Hung | 2019-04-10 | 1 | -1/+1 | |
| | | | | This reverts commit 3c253818cab2013dc4db55732d3e21cfa0dc3f19. | |||||
* | Fix S0 -> S1 | Eddie Hung | 2019-04-05 | 1 | -1/+1 | |
| | ||||||
* | "&nf -D 0" fails => use "-D 1" instead | Eddie Hung | 2019-04-05 | 1 | -1/+1 | |
| | ||||||
* | abc -dff now implies "-D 0" otherwise retiming doesn't happen | Eddie Hung | 2019-04-05 | 1 | -0/+2 | |
| | ||||||
* | abc: Improved recovered netnames, also preserve src on nets with dress | David Shah | 2019-02-06 | 1 | -4/+13 | |
| | | | | Signed-off-by: David Shah <davey1576@gmail.com> | |||||
* | abc: Preserve naming through ABC using 'dress' command | David Shah | 2019-02-06 | 1 | -29/+51 | |
| | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
* | Revert "Proof-of-concept: preserve naming through ABC using dress" | Clifford Wolf | 2018-12-16 | 1 | -51/+29 | |
| | ||||||
* | abc: Preserve naming through ABC using 'dress' command | David Shah | 2018-12-06 | 1 | -29/+51 | |
| | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
* | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 1 | -2/+2 | |
| | | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established) | |||||
* | Fix infinite loop in abc command under emscripten | Robert Ou | 2018-05-18 | 1 | -5/+7 | |
| | ||||||
* | Add an option to statically link abc into yosys | Robert Ou | 2018-05-18 | 1 | -0/+20 | |
| | | | | This is currently incomplete because the output filter no longer works. | |||||
* | Add ABC FAQ to "help abc" | Clifford Wolf | 2018-05-04 | 1 | -2/+6 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Rewrite ABC output to include proper net names in timing report | Clifford Wolf | 2017-10-10 | 1 | -2/+17 | |
| | ||||||
* | abc: Allow +/ filenames in the abc command | Robert Ou | 2017-08-14 | 1 | -0/+3 | |
| | ||||||
* | Fix typo in "abc" pass help message | Clifford Wolf | 2017-07-29 | 1 | -1/+1 | |
| | ||||||
* | Fix handling of init values in "abc -dff" and "abc -clk" | Clifford Wolf | 2017-06-20 | 1 | -131/+176 | |
| | ||||||
* | Switched abc "clock domain not found" error to log_cmd_error() | Clifford Wolf | 2017-06-20 | 1 | -24/+28 | |
| | ||||||
* | Add aliases for common sets of gate types to "abc -g" | Clifford Wolf | 2017-05-24 | 1 | -2/+74 | |
| | ||||||
* | Add $_ANDNOT_ and $_ORNOT_ gates | Clifford Wolf | 2017-05-17 | 1 | -21/+41 | |
| | ||||||
* | Update ABC scripts to use "&nf" instead of "map" | Clifford Wolf | 2017-02-01 | 1 | -3/+3 | |
| | ||||||
* | Improved ABC default scripts | Clifford Wolf | 2016-11-19 | 1 | -17/+34 | |
| | ||||||
* | Bugfix in "abc -script" handling | Clifford Wolf | 2016-06-19 | 1 | -53/+50 | |
| | ||||||
* | Added "dc2" to default ABC scripts | Clifford Wolf | 2016-06-17 | 1 | -5/+5 | |
| | ||||||
* | Added "abc -I <num> -P <num>" | Clifford Wolf | 2016-06-17 | 1 | -8/+33 | |
| | ||||||
* | Added $sop cell type and "abc -sop" | Clifford Wolf | 2016-06-17 | 1 | -6/+23 | |
| | ||||||
* | Updated ABC to hg rev b5df6e2b76f0 | Clifford Wolf | 2016-06-17 | 1 | -9/+9 | |
| | ||||||
* | Added "yosys -D" feature | Clifford Wolf | 2016-04-21 | 1 | -5/+5 | |
| | ||||||
* | Improvements in ABCEXTERNAL handling | Clifford Wolf | 2016-03-19 | 1 | -8/+14 | |
| | ||||||
* | Support calling out to an external ABC. | Sergey Kvachonok | 2016-03-19 | 1 | -4/+8 | |
| | | | | | | | $ make ABCEXTERNAL=my-abc && make ABCEXTERNAL=my-abc install configures yosys to use an external ABC executable instead of building and installing the in-tree ABC copy (yosys-abc). | |||||
* | Using "mfs" and "lutpack" in ABC lut mapping | Clifford Wolf | 2016-03-07 | 1 | -5/+14 | |
| | ||||||
* | Added "abc -luts" option, Improved Xilinx logic mapping | Clifford Wolf | 2016-02-01 | 1 | -13/+37 | |
| | ||||||
* | Added "abc -g" | Clifford Wolf | 2015-11-10 | 1 | -11/+48 | |
| | ||||||
* | Import more std:: stuff into Yosys namespace | Clifford Wolf | 2015-10-25 | 1 | -1/+1 | |
| | ||||||
* | Added buffer detection to "abc -lut" | Clifford Wolf | 2015-09-18 | 1 | -0/+6 | |
| | ||||||
* | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 1 | -2/+2 | |
| | ||||||
* | Some ASCII encoding fixes (comments and docs) by Larry Doolittle | Clifford Wolf | 2015-08-13 | 1 | -1/+1 | |
| | ||||||
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -3/+3 | |
| | ||||||
* | Generalized blifparse API | Clifford Wolf | 2015-05-17 | 1 | -4/+6 | |
| | ||||||
* | abc/blifparse files reorganization | Clifford Wolf | 2015-05-17 | 1 | -0/+1539 | |