| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | Remove irrelevant citations | Eddie Hung | 2019-02-21 | 1 | -8/+0 | |
| | | | ||||||
| * | | Add attribution | Eddie Hung | 2019-02-21 | 1 | -0/+1 | |
| | | | ||||||
| * | | abc9 to not select anything extra, and pop selection after final clean | Eddie Hung | 2019-02-21 | 1 | -14/+2 | |
| | | | ||||||
| * | | abc9 to write_xaiger -symbols, not -map | Eddie Hung | 2019-02-21 | 1 | -3/+2 | |
| | | | ||||||
| * | | Merge branch 'read_aiger' into xaig | Eddie Hung | 2019-02-21 | 1 | -2/+0 | |
| |\| | ||||||
| * | | abc9 to use &mfs | Eddie Hung | 2019-02-21 | 1 | -1/+2 | |
| | | | ||||||
| * | | abc9 to only disconnect output ports of AND and NOT gates | Eddie Hung | 2019-02-21 | 1 | -2/+4 | |
| | | | ||||||
| * | | ABC -> ABC9 | Eddie Hung | 2019-02-20 | 1 | -1/+1 | |
| | | | ||||||
| * | | abc9 to disconnect mapped_mods POs correctly, and do not count $_NOT_ | Eddie Hung | 2019-02-20 | 1 | -21/+29 | |
| | | | ||||||
| * | | 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. | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |