aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Disable blackbox detection in techmap filesClifford Wolf2019-04-221-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #943 from YosysHQ/clifford/whiteboxClifford Wolf2019-04-2011-26/+86
|\ | | | | [WIP] Add "whitebox" attribute, add "read_verilog -wb"
| * Add "techmap -wb", use in formal flowsClifford Wolf2019-04-203-6/+13
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Check blackbox attribute in techmap/simplemapClifford Wolf2019-04-202-2/+2
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add "wbflip" commandClifford Wolf2019-04-201-0/+39
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Ignore 'whitebox' attr in flatten with "-wb" optionEddie Hung2019-04-181-5/+19
| |
| * Add "whitebox" attribute, add "read_verilog -wb"Clifford Wolf2019-04-187-16/+16
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Merge pull request #942 from YosysHQ/clifford/fix931Clifford Wolf2019-04-202-5/+63
|\ \ | | | | | | Improve proc full_case detection and handling
| * | Improve proc full_case detection and handling, fixes #931Clifford Wolf2019-04-182-5/+63
| |/ | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | 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>
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-23 23:11:02 +0000