| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | lut/not/and suffix to be ${lut,not,and} | Eddie Hung | 2019-02-20 | 1 | -4/+4 | |
| | | | ||||||
| * | | abc9 to cope with multiple modules | Eddie Hung | 2019-02-20 | 1 | -7/+11 | |
| | | | ||||||
| * | | abc9 to use & syntax for -fast, and name fixes | Eddie Hung | 2019-02-20 | 1 | -5/+5 | |
| | | | ||||||
| * | | abc9 to cope with indexed wires when creating $lut from $_NOT_ | Eddie Hung | 2019-02-19 | 1 | -1/+6 | |
| | | | ||||||
| * | | abc9 to replace $_NOT_ with $lut | Eddie Hung | 2019-02-19 | 1 | -4/+39 | |
| | | | ||||||
| * | | Get rid of debugging stuff in abc9 | Eddie Hung | 2019-02-16 | 1 | -6/+1 | |
| | | | ||||||
| * | | abc9 to write_aiger with -O option, and ignore dummy outputs | Eddie Hung | 2019-02-16 | 1 | -2/+8 | |
| | | | ||||||
| * | | abc9 to handle comb loops, cope with constant outputs, disconnect using new wire | Eddie Hung | 2019-02-16 | 1 | -4/+67 | |
| | | | ||||||
| * | | abc9 to cope with non-wideports, count cells properly | Eddie Hung | 2019-02-16 | 1 | -11/+54 | |
| | | | ||||||
| * | | Move lookup inside if | Eddie Hung | 2019-02-15 | 1 | -2/+2 | |
| | | | ||||||
| * | | Refactor | Eddie Hung | 2019-02-15 | 1 | -29/+32 | |
| | | | ||||||
| * | | Cope with width != 1 when re-mapping cells | Eddie Hung | 2019-02-15 | 1 | -11/+25 | |
| | | | ||||||
| * | | abc9 to stitch results with CI/CO properly | Eddie Hung | 2019-02-15 | 1 | -16/+32 | |
| | | | ||||||
| * | | Fix stitching | Eddie Hung | 2019-02-13 | 1 | -4/+4 | |
| | | | ||||||
| * | | Merge remote-tracking branch 'origin/read_aiger' into xaig | Eddie Hung | 2019-02-13 | 1 | -0/+2 | |
| |\ \ | ||||||
| | * | | Missing headers for Xcode? | Eddie Hung | 2019-02-12 | 1 | -0/+2 | |
| | |/ | ||||||
| * | | Rip out some more stuff | Eddie Hung | 2019-02-13 | 1 | -36/+0 | |
| | | | ||||||
| * | | Rip out unused functions in abc9 | Eddie Hung | 2019-02-12 | 1 | -416/+61 | |
| | | | ||||||
| * | | WIP for ABC with aiger | Eddie Hung | 2019-02-12 | 1 | -130/+19 | |
| | | | ||||||
| * | | Compile abc9 | Eddie Hung | 2019-02-08 | 2 | -8/+9 | |
| | | | ||||||
| * | | Copy abc.cc to abc9.cc | Eddie Hung | 2019-02-08 | 1 | -0/+1868 | |
| |/ | ||||||
| * | flowmap: clean up terminology. | whitequark | 2019-01-08 | 1 | -17/+18 | |
| | | | | | | | | | | | * "map": group gates into LUTs; * "pack": replace gates with LUTs. This is important because we have FlowMap and DF-Map, and currently our messages are ambiguous. Also clean up some other log messages while we're at it. | |||||
| * | flowmap: implement depth relaxation. | whitequark | 2019-01-08 | 1 | -22/+680 | |
| | | ||||||
| * | flowmap: construct a max-volume max-flow min-cut, not just any one. | whitequark | 2019-01-06 | 1 | -7/+10 | |
| | | ||||||
| * | flowmap: add -minlut option, to allow postprocessing with opt_lut. | whitequark | 2019-01-04 | 1 | -7/+21 | |
| | | ||||||
| * | flowmap: cleanup for clarity. NFCI. | whitequark | 2019-01-04 | 1 | -107/+141 | |
| | | ||||||
| * | flowmap: improve debug graph output. NFC. | whitequark | 2019-01-04 | 1 | -47/+76 | |
| | | ||||||
| * | flowmap: add link to longer version of paper. NFC. | whitequark | 2019-01-04 | 1 | -2/+3 | |
| | | ||||||
| * | flowmap: new techmap pass. | whitequark | 2019-01-03 | 2 | -0/+874 | |
| | | ||||||
| * | Add "dffinit -noreinit" parameter | Icenowy Zheng | 2018-12-18 | 1 | -1/+14 | |
| | | | | | | | | | | | | | | | | Sometimes the FF cell might be initialized during the map process, e.g. some FPGA platforms (Anlogic Eagle and Lattice ECP5 for example) has only a "SR" pin for a FF for async reset, that resets the FF to the initial value, which means the async reset value should be set as the initial value. In this case the DFFINIT pass shouldn't reinitialize it to a different value, which will lead to error. Add a "-noreinit" parameter for the safeguard. If a FF is not technically initialized before DFFINIT pass, the default value should be set to x. Signed-off-by: Icenowy Zheng <icenowy@aosc.io> | |||||
| * | Add "dffinit -strinit high low" | Icenowy Zheng | 2018-12-18 | 1 | -2/+16 | |
| | | | | | | | | | | | On some platforms the string to initialize DFF might not be "high" and "low", e.g. with Anlogic TD it's "SET" and "RESET". Add a "-strinit" parameter for dffinit to allow specify the strings used for high and low. Signed-off-by: Icenowy Zheng <icenowy@aosc.io> | |||||
| * | Revert "Proof-of-concept: preserve naming through ABC using dress" | Clifford Wolf | 2018-12-16 | 1 | -51/+29 | |
| | | ||||||
| * | Merge pull request #735 from daveshah1/trifixes | Clifford Wolf | 2018-12-16 | 1 | -3/+4 | |
| |\ | | | | | deminout fixes | |||||
| | * | deminout: Consider $tribuf cells | David Shah | 2018-12-12 | 1 | -2/+2 | |
| | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| | * | deminout: Don't demote constant-driven inouts to inputs | David Shah | 2018-12-12 | 1 | -1/+2 | |
| | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| * | | Merge pull request #714 from daveshah1/abc_preserve_naming | Clifford Wolf | 2018-12-16 | 1 | -29/+51 | |
| |\ \ | | | | | | | Proof-of-concept: preserve naming through ABC using dress | |||||
| | * | | abc: Preserve naming through ABC using 'dress' command | David Shah | 2018-12-06 | 1 | -29/+51 | |
| | |/ | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| * / | lut2mux: handle 1-bit INIT constant in $lut cells. | whitequark | 2018-12-05 | 1 | -1/+1 | |
| |/ | | | | | This pass already handles INIT constants shorter than 2^width, but that was not done for the recursion base case. | |||||
| * | Fix typo | Clifford Wolf | 2018-12-04 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | dff2dffe: Add option for unmap to only remove DFFE with low CE signal use | Sylvain Munaut | 2018-11-27 | 1 | -1/+36 | |
| | | | | | Signed-off-by: Sylvain Munaut <tnt@246tNt.com> | |||||
| * | DFFLIBMAP: changed 'missing pin' error into a warning with additional ↵ | Niels Moseley | 2018-11-06 | 1 | -1/+10 | |
| | | | | | reason/info. | |||||
| * | Allow square brackets in liberty identifiers | Clifford Wolf | 2018-11-05 | 1 | -2/+2 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Liberty file newline handling is more relaxed. More descriptive error message | Niels Moseley | 2018-11-03 | 1 | -4/+7 | |
| | | ||||||
| * | Report an error when a liberty file contains pin references that reference ↵ | Niels Moseley | 2018-11-03 | 1 | -0/+3 | |
| | | | | | non-existing pins | |||||
| * | Merge pull request #591 from hzeller/virtual-override | Clifford Wolf | 2018-08-15 | 28 | -62/+62 | |
| |\ | | | | | Consistent use of 'override' for virtual methods in derived classes. | |||||
| | * | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 28 | -62/+62 | |
| | | | | | | | | | | | | | | | | | | | 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) | |||||
| * | | Add missing <deque> include (MSVC build fix) | Clifford Wolf | 2018-07-22 | 1 | -0/+1 | |
| |/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | ecp5: Adding synchronous set/reset support | David Shah | 2018-07-14 | 3 | -3/+155 | |
| | | | | | Signed-off-by: David Shah <davey1576@gmail.com> | |||||
| * | Be slightly less aggressive in "deminout" pass | Clifford Wolf | 2018-06-19 | 1 | -4/+28 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix infinite loop in abc command under emscripten | Robert Ou | 2018-05-18 | 1 | -5/+7 | |
| | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |