aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | | | | | | | Add "hdlname" attributeClifford Wolf2019-03-261-0/+2
| | |_|_|_|_|_|/ / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | | Add "cutpoint" passClifford Wolf2019-03-252-0/+165
| |/ / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | Merge pull request #896 from YosysHQ/transp_fixesClifford Wolf2019-03-251-9/+16
| |\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | memory_bram: Fix multiclock make_transp
| | * | | | | | | | memory_bram: Fix multiclock make_transpDavid Shah2019-03-241-9/+16
| | |/ / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | | | | | | 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 ';'.
| * | | | | | | Add "mutate -none -mode", "mutate -mode none"Clifford Wolf2019-03-231-1/+30
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | Add "mutate -s <filename>"Clifford Wolf2019-03-231-2/+24
| | |_|_|/ / / | |/| | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | Trim init attributes when resizing FFs in "wreduce", fixes #887Clifford Wolf2019-03-221-1/+26
| | |_|/ / / | |/| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Improve mix of src/wire/wirebit coverage in "mutate -list"Clifford Wolf2019-03-161-29/+84
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Add "fmcombine -fwd -bwd -nop"Clifford Wolf2019-03-151-10/+59
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Add fmcombine passClifford Wolf2019-03-152-0/+293
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Improvements in "mutate" list-reduce algorithmClifford Wolf2019-03-151-13/+36
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Add "mutate -cfg", improve pick_cover behaviorClifford Wolf2019-03-141-46/+101
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Add a strictly coverage-driven mutation selection strategyClifford Wolf2019-03-141-1/+70
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Improve "mutate" wire coverage metricClifford Wolf2019-03-141-1/+16
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Add more mutation types, improve mutation src coverClifford Wolf2019-03-141-92/+268
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Add "mutate" command DB reduce functionalityClifford Wolf2019-03-141-12/+181
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Add "mutate -mode inv", various other mutate improvementsClifford Wolf2019-03-141-99/+213
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Add basic "mutate -list N" frameworkClifford Wolf2019-03-142-0/+230
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Improve handling of and-with-1 and or-with-0 in opt_expr, fixes #327Clifford Wolf2019-03-141-0/+7
| | |/ / / | |/| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Add $dffsr support to async2syncClifford Wolf2019-03-091-2/+51
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Fix spelling in pmgen/README.mdEddie Hung2019-03-051-2/+2
| | | | |
| * | | | Only run derive on blackbox modules when ports have dynamic sizeClifford Wolf2019-03-021-1/+1
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Try again for passes/pmgen/ice40_dsp_pm.h ruleLarry Doolittle2019-03-012-8/+9
| | | | | | | | | | | | | | | | | | | | Tested on both in-tree and out-of-tree builds
| * | | | 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
| | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-29 14:53:21 +0000