aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | Fix multiple issues in wreduce FF handling, fixes #835Clifford Wolf2019-02-281-5/+24
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Reduce amount of trailing whitespace in code baseLarry Doolittle2019-02-281-1/+1
| | | | |
| * | | | Fix pmgen for in-tree buildsClifford Wolf2019-02-282-8/+9
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Fix pmgen for out-of-tree buildClifford Wolf2019-02-282-4/+6
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Improvements in "supercover" passClifford Wolf2019-02-271-2/+18
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Add "supercover" skeletonClifford Wolf2019-02-272-0/+77
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-265-45/+109
|\| | | |
| * | | | Clean up some whitepsace outliersLarry Doolittle2019-02-262-4/+4
| |/ / /
| * | | Minor changes ontop of 71bcc4c: Remove hierarchy warning that is redundant ↵Clifford Wolf2019-02-241-5/+1
| | | | | | | | | | | | | | | | | | | | | | | | to -check Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Merge pull request #812 from ucb-bar/arrayhierarchyfixesClifford Wolf2019-02-241-10/+40
| |\ \ \ | | | | | | | | | | Define basic_cell_type() function and use it to derive the cell type …
| | * | | Address requested changes - don't require non-$ name.Jim Lawson2019-02-221-7/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Suppress warning if name does begin with a `$`. Fix hierachy tests so they have something to grep. Announce hierarchy test types.
| | * | | Fix normal (non-array) hierarchy -auto-top.Jim Lawson2019-02-191-9/+9
| | | | | | | | | | | | | | | | | | | | Add simple test.
| | * | | Define basic_cell_type() function and use it to derive the cell type for ↵Jim Lawson2019-02-151-10/+40
| | | | | | | | | | | | | | | | | | | | array references (instead of duplicating the code).
| * | | | Cleanups in ARST handling in wreduceClifford Wolf2019-02-241-10/+4
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Merge pull request #824 from litghost/fix_reduce_on_ffClifford Wolf2019-02-241-0/+13
| |\ \ \ \ | | | | | | | | | | | | Fix WREDUCE on FF not fixing ARST_VALUE parameter.
| | * | | | Fix WREDUCE on FF not fixing ARST_VALUE parameter.Keith Rothman2019-02-221-0/+13
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Adds test case that fails without code change. Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
| * | | | | Merge pull request #740 from daveshah1/improve_dressClifford Wolf2019-02-221-31/+62
| |\ \ \ \ \ | | |/ / / / | |/| | | | Improve ABC netname preservation
| | * | | | 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
| | | | | |
* | | | | | abc9 to write_xaiger -symbols, not -mapEddie Hung2019-02-211-3/+2
| | | | | |
* | | | | | Merge branch 'read_aiger' into xaigEddie Hung2019-02-211-2/+0
|\ \ \ \ \ \ | | |_|/ / / | |/| | | |
* | | | | | abc9 to use &mfsEddie Hung2019-02-211-1/+2
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-218-1/+1202
|\ \ \ \ \ \ | | |/ / / / | |/| | | |
| * | | | | Hotfix for 4c82ddfClifford Wolf2019-02-211-11/+2
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Add -params mode to force undef parameters in selected cells.Keith Rothman2019-02-211-0/+29
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
| * | | | | Merge pull request #818 from YosysHQ/clifford/dffsrfixClifford Wolf2019-02-211-6/+7
| |\ \ \ \ \ | | | | | | | | | | | | | | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816
| * | | | | | Fix typo in passes/pmgen/README.mdClifford Wolf2019-02-211-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Bugfix in ice40_dspClifford Wolf2019-02-211-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Add "synth_ice40 -dsp"Clifford Wolf2019-02-201-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Add FF support to wreduceClifford Wolf2019-02-201-1/+70
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Detect and reject cases that do not map well to iCE40 DSPs (yet)Clifford Wolf2019-02-202-2/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Add actual DSP inference to ice40_dsp passClifford Wolf2019-02-173-24/+214
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Merge branch 'master' of github.com:YosysHQ/yosys into pmgenClifford Wolf2019-02-172-1/+8
| |\ \ \ \ \ \ | | | |/ / / / | | |/| | | |
| * | | | | | Progress in pmgenClifford Wolf2019-01-151-3/+11
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Progress in pmgen, add pmgen READMEClifford Wolf2019-01-153-14/+260
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Fix pmgen "reject" statementClifford Wolf2019-01-151-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Progress in pmgenClifford Wolf2019-01-153-36/+139
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Progress in pmgenClifford Wolf2019-01-153-21/+157
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Progress in pmgenClifford Wolf2019-01-155-8/+347
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Add mockup .pmg (pattern matcher generator) fileClifford Wolf2019-01-151-0/+75
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>