aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | Merge pull request #2355 from YosysHQ/verific_improvementsMiodrag Milanović2020-08-261-1/+223
|\ \ \ \ | |/ / / |/| | | Add formal apps and template generators
| * | | Add formal apps and template generatorsMiodrag Milanovic2020-08-261-1/+223
| | | |
* | | | Merge pull request #2351 from pbsds/proc_nomuxwhitequark2020-08-261-1/+10
|\ \ \ \ | |/ / / |/| | | Add -nomux switch to proc
| * | | proc: Add -nomux switchPeder Bergebakken Sundt2020-08-201-1/+10
| | | | | | | | | | | | | | | | running proc -nomux will ommit the proc_mux pass
* | | | Bump versionYosys Bot2020-08-231-1/+1
| | | |
* | | | Merge pull request #2349 from nmoroze/smt2-bugfixclairexen2020-08-221-9/+20
|\ \ \ \ | | | | | | | | | | Ensure smt2 comments are associated with accessors
| * | | | Ensure smt2 comments are associated with accessorsNoah Moroze2020-08-201-9/+20
| | | | |
* | | | | Bump versionYosys Bot2020-08-211-1/+1
| |_|/ / |/| | |
* | | | synth_intel: Remove incomplete Arria 10 GX support.Marcelina Kościelnicka2020-08-215-192/+4
| |/ / |/| | | | | | | | | | | | | | The techmap rules for this target do not work in the first place (note lack of >2-input LUT mappings), and if proper support is ever added, it'd be better placed in the synth_intel_alm backend.
* | | intel: move Cyclone V support to intel_almDan Ravensloft2020-08-207-203/+11
| | |
* | | Merge pull request #2347 from YosysHQ/mwk/techmap-shift-fixesclairexen2020-08-203-81/+38
|\ \ \ | | | | | | | | techmap/shift_shiftx: Remove the "shiftx2mux" special path.
| * | | techmap/shift_shiftx: Remove the "shiftx2mux" special path.Marcelina Kościelnicka2020-08-203-81/+38
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Our techmap rules for $shift and $shiftx cells contained a special path that aimed to decompose the shift LSB-first instead of MSB-first in select cases that come up in pmux lowering. This path was needlessly overcomplicated and contained bugs. Instead of doing that, just switch over the main path to iterate LSB-first (except for the specially-handled MSB for signed shifts and overflow handling). This also makes the code consistent with shl/shr/sshl/sshr cells, which are already decomposed LSB-first. Fixes #2346.
* | | | Merge pull request #2344 from YosysHQ/mwk/opt_share-fixesclairexen2020-08-204-223/+192
|\ \ \ \ | | | | | | | | | | opt_share: Refactor, fix some bugs.
| * | | | opt_share: Refactor, fix some bugs.Marcelina Kościelnicka2020-08-174-223/+192
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixes #2334. Fixes #2335. Fixes #2336.
* | | | | Merge pull request #2337 from YosysHQ/mwk/clean-keep-wireclairexen2020-08-201-4/+9
|\ \ \ \ \ | | | | | | | | | | | | opt_clean: Fix module keep rules.
| * | | | | opt_clean: Fix module keep rules.Marcelina Kościelnicka2020-08-091-4/+9
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | - wires with keep attribute now force a module to be kept - presence of $memwr and $meminit cells no longer forces a module to be kept
* | | | | Merge pull request #2333 from YosysHQ/mwk/peepopt-shiftmul-signedclairexen2020-08-202-5/+12
|\ \ \ \ \ | | | | | | | | | | | | peeopt.shiftmul: Add a signedness check.
| * | | | | peeopt.shiftmul: Add a signedness check.Marcelina Kościelnicka2020-08-052-5/+12
| | |_|_|/ | |/| | | | | | | | | | | | | Fixes #2332.
* | | | | Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanupclairexen2020-08-2011-1661/+129
|\ \ \ \ \ | | | | | | | | | | | | Remove passes redundant with opt_dff
| * | | | | Remove now-redundant dff2dffe pass.Marcelina Kościelnicka2020-08-072-415/+0
| | | | | |
| * | | | | Remove now-redundant dff2dffs pass.Marcelina Kościelnicka2020-08-073-216/+0
| | | | | |
| * | | | | peepopt: Remove now-redundant dffmux pattern.Marcelina Kościelnicka2020-08-075-318/+129
| | | | | |
| * | | | | Remove now-redundant opt_rmdff pass.Marcelina Kościelnicka2020-08-072-712/+0
| | |/ / / | |/| | |
* | | | | Merge pull request #2327 from YosysHQ/mwk/techmap-constmap-fixclairexen2020-08-202-1/+37
|\ \ \ \ \ | | | | | | | | | | | | techmap.CONSTMAP: Handle outputs before inputs.
| * | | | | techmap.CONSTMAP: Handle outputs before inputs.Marcelina Kościelnicka2020-08-052-1/+37
| | |/ / / | |/| | | | | | | | | | | | | Fixes #2321.
* | | | | Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv-signclairexen2020-08-202-1/+16
|\ \ \ \ \ | | | | | | | | | | | | peepopt.muldiv: Add a signedness check.
| * | | | | peepopt.muldiv: Add a signedness check.Marcelina Kościelnicka2020-08-042-1/+16
| |/ / / / | | | | | | | | | | | | | | | Fixes #2318.
* | | | | Merge pull request #2319 from YosysHQ/mwk/techmap-celltype-patternclairexen2020-08-203-8/+36
|\ \ \ \ \ | | | | | | | | | | | | techmap: Add support for [] wildcards in techmap_celltype.
| * | | | | techmap: Add support for [] wildcards in techmap_celltype.Marcelina Kościelnicka2020-08-023-8/+36
| |/ / / / | | | | | | | | | | | | | | | Fixes #1826.
* | | | / Bump versionYosys Bot2020-08-201-1/+1
| |_|_|/ |/| | |
* | | | Merge pull request #2122 from PeterCrozier/struct_array2clairexen2020-08-192-29/+83
|\ \ \ \ | |_|_|/ |/| | | Support 2D bit arrays in structures. Optimise array indexing.
| * | | include both power-of-two and non-power-of-two testcasesN. Engelhardt2020-08-181-6/+23
| | | |
| * | | Support 2D packed bit arrays in struct/union.Peter Crozier2020-06-091-35/+1
| | | |
| * | | Support 2D bit arrays in structures. Optimise array indexing.Peter Crozier2020-06-082-30/+101
| | | |
* | | | Bump versionYosys Bot2020-08-191-1/+1
| | | |
* | | | Ensure \A_SIGNED is never used with $shiftxXiretza2020-08-182-1/+9
| | | | | | | | | | | | | | | | | | | | It has no effect on the output ($shiftx doesn't perform any sign extension whatsoever), so an attempt to use it should be caught early.
* | | | Respect \A_SIGNED for $shiftXiretza2020-08-187-65/+61
| | | | | | | | | | | | | | | | | | | | | | | | This reflects the behaviour of $shr/$shl, which sign-extend their A operands to the size of their output, then do a logical shift (shift in 0-bits).
* | | | Merge pull request #2339 from zachjs/display-format-0sclairexen2020-08-182-1/+8
|\ \ \ \ | | | | | | | | | | Allow %0s $display format specifier
| * | | | Allow %0s $display format specifierZachary Snow2020-08-092-1/+8
| | |_|/ | |/| |
* | | | Merge pull request #2338 from zachjs/const-branch-finishclairexen2020-08-182-4/+43
|\ \ \ \ | | | | | | | | | | Propagate const_fold through generate blocks and branches
| * | | | Propagate const_fold through generate blocks and branchesZachary Snow2020-08-092-4/+43
| |/ / /
* | | | Merge pull request #2317 from zachjs/expand-genblockclairexen2020-08-183-42/+168
|\ \ \ \ | | | | | | | | | | Fix generate scoping issues
| * | | | Fix generate scoping issuesZachary Snow2020-07-313-42/+168
| | |_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - expand_genblock defers prefixing of items within named sub-blocks - Allow partially-qualified references to local scopes - Handle shadowing within generate blocks - Resolve generate scope references within tasks and functions - Apply generate scoping to genvars - Resolves #2214, resolves #1456
* | | | Merge branch 'zachjs-const-func-block-var'Claire Wolf2020-08-183-26/+53
|\ \ \ \
| * | | | Merge branch 'const-func-block-var' of https://github.com/zachjs/yosys into ↵Claire Wolf2020-08-183-26/+53
|/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | zachjs-const-func-block-var Signed-off-by: Claire Wolf <claire@symbioticeda.com>
| * | | | Allow blocks with declarations within constant functionsZachary Snow2020-07-253-18/+45
| | | | |
* | | | | Merge pull request #2281 from zachjs/const-realclairexen2020-08-182-3/+23
|\ \ \ \ \ | | | | | | | | | | | | Allow reals as constant function parameters
| * | | | | Allow reals as constant function parametersZachary Snow2020-07-192-3/+23
| | | | | |
* | | | | | Bump versionYosys Bot2020-08-141-1/+1
| | | | | |
* | | | | | intel_alm: fix typo in MISTRAL_MUL27X27 cell nameDan Ravensloft2020-08-131-1/+1
| | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-03 20:31:24 +0000