aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Improve "show" handling of 0/1/X/Z paddingClifford Wolf2019-04-201-2/+21
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Spelling fixesEddie Hung2019-04-191-2/+2
|
* Fix abc's remap_name to not ignore [^0-9] when extracting sidEddie Hung2019-04-181-12/+16
|
* ABC to call retime all the timeEddie Hung2019-04-181-15/+11
|
* Merge branch 'master' into eddie/fix_retimeEddie Hung2019-04-181-28/+0
|\
| * Revert #895Eddie Hung2019-04-161-28/+0
| |
| * Revert "Recognise default entry in case even if all cases covered (fix for ↵Eddie Hung2019-04-151-1/+1
| | | | | | | | #931)"
| * Recognise default entry in case even if all cases covered (#931)Eddie Hung2019-04-111-1/+1
| |
* | Revert "abc -dff now implies "-D 0" otherwise retiming doesn't happen"Eddie Hung2019-04-101-2/+0
| | | | | | | | This reverts commit 19271bd996a79cb4be1db658fcf18227ee0a1dff.
* | Revert ""&nf -D 0" fails => use "-D 1" instead"Eddie Hung2019-04-101-1/+1
| | | | | | | | This reverts commit 3c253818cab2013dc4db55732d3e21cfa0dc3f19.
* | Merge remote-tracking branch 'origin/master' into eddie/fix_retimeEddie Hung2019-04-102-4/+5
|\|
| * Fix a few typosEddie Hung2019-04-081-3/+3
| |
| * memory_bram: Fix multiport make_transpDavid Shah2019-04-071-1/+2
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Fix S0 -> S1Eddie Hung2019-04-051-1/+1
| |
* | "&nf -D 0" fails => use "-D 1" insteadEddie Hung2019-04-051-1/+1
| |
* | abc -dff now implies "-D 0" otherwise retiming doesn't happenEddie Hung2019-04-051-0/+2
|/
* Added missing argument checking to "mutate" commandClifford Wolf2019-04-041-0/+32
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* proc_mux: Fix crash when trying to optimize non-existant mux to shiftxSylvain Munaut2019-04-031-1/+1
| | | | | | last_mux_cell can be NULL ... Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
* memory_bram: Consider read enable for address expansion registerDavid Shah2019-04-021-0/+2
| | | | Signed-off-by: David Shah <dave@ds0.me>
* Merge pull request #895 from YosysHQ/pmux2shiftxEddie Hung2019-04-021-0/+28
|\ | | | | RFC: Add a pmux-to-shiftx optimisation to proc_mux
| * Create one $shiftx per bit in widthEddie Hung2019-03-251-10/+17
| |
| * Add a pmux-to-shiftx optimisation to proc_muxEddie Hung2019-03-231-0/+21
| |
* | Merge pull request #901 from trcwm/libertyfixesClifford Wolf2019-03-281-7/+54
|\ \ | | | | | | Libertyfixes: accept superfluous ; at end of group.
| * | Liberty file parser now accepts superfluous ;Niels Moseley2019-03-271-1/+1
| | |
| * | Liberty file parser now accepts superfluous ;Niels Moseley2019-03-271-7/+54
| | |
* | | Merge pull request #903 from YosysHQ/bram_reset_transpClifford Wolf2019-03-281-0/+1
|\ \ \ | |/ / |/| | memory_bram: Reset make_transp when growing read ports
| * | memory_bram: Reset make_transp when growing read portsDavid Shah2019-03-271-0/+1
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | Add "rename -output"Clifford Wolf2019-03-271-3/+23
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Improve "rename" help messageClifford Wolf2019-03-271-0/+6
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Add "cutpoint -undef"Clifford Wolf2019-03-261-10/+14
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | 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>