aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | | shiftx NULL pointer checkEddie Hung2019-03-181-8/+10
| | | | | |
| * | | | | CleanupEddie Hung2019-03-161-35/+25
| | | | | |
| * | | | | Only accept <128 for variable length, only if $shiftx exclusiveEddie Hung2019-03-161-8/+17
| | | | | |
| * | | | | WorkingEddie Hung2019-03-151-227/+356
| | | | | |
| * | | | | Revert "Add shregmap -init_msb_first and use in synth_xilinx"Eddie Hung2019-03-141-14/+2
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 26ecbc1aee1dca1c186ab2b51835d74f67bc3e75.
| * | | | | Merge remote-tracking branch 'origin/master' into xc7srlEddie Hung2019-03-142-4/+4
| |\ \ \ \ \
| * | | | | | Add shregmap -init_msb_first and use in synth_xilinxEddie Hung2019-03-141-2/+14
| | | | | | |
* | | | | | | Merge branch 'xaig' into xc7muxEddie Hung2019-04-161-2/+1
|\ \ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | |
| * | | | | | abc9 to call "setundef -zero" behaving as for abcEddie Hung2019-04-161-0/+3
| | | | | | |
* | | | | | | ABC to read_box before reading netlistEddie Hung2019-04-161-1/+3
| | | | | | |
* | | | | | | Do not call abc on modules with abc_box_id attrEddie Hung2019-04-161-0/+3
| | | | | | |
* | | | | | | Merge branch 'xaig' into xc7muxEddie Hung2019-04-151-8/+9
|\| | | | | |
| * | | | | | Handle __dummy_o__ and __const[01]__ in read_aiger not abcEddie Hung2019-04-121-18/+4
| | | | | | |
| * | | | | | abc to ignore __dummy_o__ and __const[01]__ when re-integratingEddie Hung2019-04-121-6/+20
| | | | | | |
| * | | | | | Use -map instead of -symbols for aigerEddie Hung2019-04-121-2/+3
| | | | | | |
| * | | | | | Comment outEddie Hung2019-04-121-1/+1
| | | | | | |
| * | | | | | Add support for synth_xilinx -abc9 and ignore abc9 -dress optEddie Hung2019-04-121-0/+5
| | | | | | |
* | | | | | | Merge remote-tracking branch 'origin/pmux2shiftx' into xc7muxEddie Hung2019-04-111-1/+0
|\ \ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | |
| * | | | | | More unusedEddie Hung2019-04-111-1/+0
| | | | | | |
* | | | | | | Merge remote-tracking branch 'origin/pmux2shiftx' into xc7muxEddie Hung2019-04-113-2/+86
|\| | | | | |
| * | | | | | Remove unusedEddie Hung2019-04-111-1/+0
| | | | | | |
| * | | | | | FixesEddie Hung2019-04-111-20/+16
| | | | | | |
| * | | | | | WIPEddie Hung2019-04-112-0/+89
| | | | | | |
| * | | | | | Spelling fixesEddie Hung2019-04-111-2/+2
| | |_|_|_|/ | |/| | | |
* | | | | | Add "-lut <file>" support to abc9Eddie Hung2019-04-091-13/+31
| | | | | |
* | | | | | Add "-box" option to abc9Eddie Hung2019-04-091-7/+22
| | | | | |
* | | | | | Add 'setundef -zero' call prior to aigmap in abc9Eddie Hung2019-04-091-0/+4
| | | | | |
* | | | | | Comment outEddie Hung2019-04-091-1/+1
| | | | | |
* | | | | | Add support for synth_xilinx -abc9 and ignore abc9 -dress optEddie Hung2019-04-091-0/+5
| |/ / / / |/| | | |
* | | | | More space fixingEddie Hung2019-04-081-2/+2
| | | | |
* | | | | Merge branch 'master' into xaigEddie Hung2019-04-082-29/+158
|\| | | |
| * | | | Liberty file parser now accepts superfluous ;Niels Moseley2019-03-271-1/+1
| | | | |
| * | | | Liberty file parser now accepts superfluous ;Niels Moseley2019-03-271-7/+54
| | |_|/ | |/| |
| * | | spaces -> tabsNiels Moseley2019-03-251-78/+78
| | | |
| * | | EOL is now accepted as ';' replacement on lines that look like: ↵Niels Moseley2019-03-251-4/+3
| | | | | | | | | | | | | | | | feature_xyz(option)
| * | | Updated the liberty parser to accept [A:B] ranges (AST has not been ↵Niels Moseley2019-03-242-7/+90
| | |/ | |/| | | | | | | updated). Liberty parser now also accepts key : value pair lines that do not end in ';'.
* | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-263-35/+66
|\| |
| * | Clean up some whitepsace outliersLarry Doolittle2019-02-262-4/+4
| |/
| * abc: Improved recovered netnames, also preserve src on nets with dressDavid Shah2019-02-061-4/+13
| | | | | | | | Signed-off-by: David Shah <davey1576@gmail.com>
| * abc: Preserve naming through ABC using 'dress' commandDavid Shah2019-02-061-29/+51
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | abc9 -- multiple connections for inoutsEddie Hung2019-02-261-1/+2
| |
* | abc9 cleanupEddie Hung2019-02-251-6/+4
| |
* | read_aiger to accept empty string for clk_name, passable only if no latchesEddie Hung2019-02-251-2/+1
| |
* | abc9 not to clean after aigmapEddie Hung2019-02-251-1/+1
| |
* | abc9 to call "clean" once at the end of all abc9_module() callsEddie Hung2019-02-251-4/+4
| |
* | abc9 to use AIGER symbol table, as opposed to map fileEddie Hung2019-02-211-5/+16
| |
* | Revert "abc9 to write_xaiger -symbols, not -map"Eddie Hung2019-02-211-2/+3
| | | | | | | | This reverts commit 04429f8152ae64de050580ec20db60ac6dc1c0e1.
* | Remove irrelevant citationsEddie Hung2019-02-211-8/+0
| |
* | Add attributionEddie Hung2019-02-211-0/+1
| |
* | abc9 to not select anything extra, and pop selection after final cleanEddie Hung2019-02-211-14/+2
| |