aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | opt_share: Refactor, fix some bugs.Marcelina Kościelnicka2020-08-173-0/+54
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixes #2334. Fixes #2335. Fixes #2336.
* | | | | Merge pull request #2333 from YosysHQ/mwk/peepopt-shiftmul-signedclairexen2020-08-201-0/+11
|\ \ \ \ \ | | | | | | | | | | | | peeopt.shiftmul: Add a signedness check.
| * | | | | peeopt.shiftmul: Add a signedness check.Marcelina Kościelnicka2020-08-051-0/+11
| | |_|/ / | |/| | | | | | | | | | | | | Fixes #2332.
* | | | | Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanupclairexen2020-08-203-193/+129
|\ \ \ \ \ | | | | | | | | | | | | Remove passes redundant with opt_dff
| * | | | | Remove now-redundant dff2dffs pass.Marcelina Kościelnicka2020-08-071-50/+0
| | | | | |
| * | | | | peepopt: Remove now-redundant dffmux pattern.Marcelina Kościelnicka2020-08-072-143/+129
| | |/ / / | |/| | |
* | | | | Merge pull request #2327 from YosysHQ/mwk/techmap-constmap-fixclairexen2020-08-201-0/+15
|\ \ \ \ \ | | | | | | | | | | | | techmap.CONSTMAP: Handle outputs before inputs.
| * | | | | techmap.CONSTMAP: Handle outputs before inputs.Marcelina Kościelnicka2020-08-051-0/+15
| | |/ / / | |/| | | | | | | | | | | | | Fixes #2321.
* | | | | Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv-signclairexen2020-08-201-0/+12
|\ \ \ \ \ | | | | | | | | | | | | peepopt.muldiv: Add a signedness check.
| * | | | | peepopt.muldiv: Add a signedness check.Marcelina Kościelnicka2020-08-041-0/+12
| |/ / / / | | | | | | | | | | | | | | | Fixes #2318.
* | | | | Merge pull request #2122 from PeterCrozier/struct_array2clairexen2020-08-191-1/+21
|\ \ \ \ \ | |_|_|/ / |/| | | | 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 bit arrays in structures. Optimise array indexing.Peter Crozier2020-06-081-2/+5
| | |_|/ | |/| |
* | | | Merge pull request #2339 from zachjs/display-format-0sclairexen2020-08-181-0/+7
|\ \ \ \ | | | | | | | | | | Allow %0s $display format specifier
| * | | | Allow %0s $display format specifierZachary Snow2020-08-091-0/+7
| | |_|/ | |/| |
* | | | Merge pull request #2338 from zachjs/const-branch-finishclairexen2020-08-181-0/+39
|\ \ \ \ | | | | | | | | | | Propagate const_fold through generate blocks and branches
| * | | | Propagate const_fold through generate blocks and branchesZachary Snow2020-08-091-0/+39
| |/ / /
* | | | Merge pull request #2317 from zachjs/expand-genblockclairexen2020-08-181-0/+85
|\ \ \ \ | | | | | | | | | | Fix generate scoping issues
| * | | | Fix generate scoping issuesZachary Snow2020-07-311-0/+85
| | |_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - 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 'const-func-block-var' of https://github.com/zachjs/yosys into ↵Claire Wolf2020-08-182-0/+24
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | zachjs-const-func-block-var Signed-off-by: Claire Wolf <claire@symbioticeda.com>
| * | | | Allow blocks with declarations within constant functionsZachary Snow2020-07-252-0/+24
| | | | |
* | | | | Merge pull request #2281 from zachjs/const-realclairexen2020-08-181-0/+12
|\ \ \ \ \ | |_|_|/ / |/| | | | Allow reals as constant function parameters
| * | | | Allow reals as constant function parametersZachary Snow2020-07-191-0/+12
| | | | |
* | | | | Replace opt_rmdff with opt_dff.Marcelina Kościelnicka2020-08-078-34/+31
| |_|/ / |/| | |
* | | | Add dffunmap pass.Marcelina Kościelnicka2020-07-311-0/+100
| | | | | | | | | | | | | | | | | | | | To be used with backends that cannot deal with fancy FF types (like blif or smt).
* | | | opt_expr: Remove -clkinv option, make it the default.Marcelina Kościelnicka2020-07-311-2/+1
| | | | | | | | | | | | | | | | | | | | Adds -noclkinv option just in case the old behavior was actually useful to someone.
* | | | synth_ice40: Use opt_dff.Marcelina Kościelnicka2020-07-301-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The main part is converting ice40_dsp to recognize the new FF types created in opt_dff instead of trying to recognize the mux patterns on its own. The fsm call has been moved upwards because the passes cannot deal with $dffe/$sdff*, and other optimizations don't help it much anyway.
* | | | synth_xilinx: Use opt_dff.Marcelina Kościelnicka2020-07-301-9/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The main part is converting xilinx_dsp to recognize the new FF types created in opt_dff instead of trying to recognize the patterns on its own. The fsm call has been moved upwards because the passes cannot deal with $dffe/$sdff*, and other optimizations don't help it much anyway.
* | | | Add opt_dff pass.Marcelina Kościelnicka2020-07-3010-3/+914
| | | |
* | | | opt_expr: Fix handling of $_XNOR_ cells with A = B.Marcelina Kościelnicka2020-07-291-0/+14
| | | | | | | | | | | | | | | | Fixes #2311.
* | | | Merge pull request #2306 from YosysHQ/mwk/equiv_induct-undefclairexen2020-07-281-0/+35
|\ \ \ \ | | | | | | | | | | equiv_induct: Fix up assumption for $equiv cells in -undef mode.
| * | | | equiv_induct: Fix up assumption for $equiv cells in -undef mode.Marcelina Kościelnicka2020-07-271-0/+35
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this fix, equiv_induct only assumed that one of the following is true: - defined value of A is equal to defined value of B - A is undefined This lets through valuations where A is defined, B is undefined, and the defined (meaningless) value of B happens to match the defined value of A. Instead, tighten this up to OR of the following: - defined value of A is equal to defined value of B, and B is not undefined - A is undefined
* | | | | intel_alm: direct M10K instantiationDan Ravensloft2020-07-271-0/+6
| | | | | | | | | | | | | | | | | | | | This reverts commit a3a90f6377f251d3b6c5898eb1543f8832493bb8.
* | | | | intel_alm: increase abc9 -WDan Ravensloft2020-07-261-6/+6
| | | | |
* | | | | Merge pull request #2299 from zachjs/arg-loopclairexen2020-07-262-0/+45
|\ \ \ \ \ | |/ / / / |/| | | | Avoid generating wires for function args which are constant
| * | | | Avoid generating wires for function args which are constantZachary Snow2020-07-242-0/+45
| | |/ / | |/| |
* | | | zinit: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-2/+2
| | | |
* | | | clk2fflogic: Support all FF types.Marcelina Kościelnicka2020-07-2419-124/+123
| | | |
* | | | satgen: Add support for dffe, sdff, sdffe, sdffce cells.Marcelina Kościelnicka2020-07-242-2/+21
|/ / /
* | | Merge pull request #2285 from YosysHQ/mwk/techmap-cellnameclairexen2020-07-231-0/+41
|\ \ \ | | | | | | | | techmap: Add _TECHMAP_CELLNAME_ special parameter.
| * | | techmap: Add _TECHMAP_CELLNAME_ special parameter.Marcelina Kościelnicka2020-07-211-0/+41
| |/ / | | | | | | | | | | | | | | | | | | This parameter will resolve to the name of the cell being mapped. The first user of this parameter will be synth_intel_alm's Quartus output, which requires a unique (and preferably descriptive) name passed as a cell parameter for the memory cells.
* / / intel_alm: add additional ABC9 timingsDan Ravensloft2020-07-231-6/+4
|/ /
* | Merge pull request #2238 from YosysHQ/mwk/dfflegalize-anlogicMiodrag Milanović2020-07-161-12/+14
|\ \ | | | | | | anlogic: Use dfflegalize.
| * | anlogic: Use dfflegalize.Marcelina Kościelnicka2020-07-141-12/+14
| | |
* | | Merge pull request #2257 from antmicro/fix-conflictsclairexen2020-07-154-0/+49
|\ \ \ | | | | | | | | Restore #2203 and #2244 and fix parser conflicts
| * | | Revert "Revert PRs #2203 and #2244."Kamil Rakoczy2020-07-104-0/+49
| | | | | | | | | | | | | | | | This reverts commit 9c120b89ace6c111aa4677616947d18d980b9c1a.
* | | | Revert "intel_alm: direct M10K instantiation"Lofty2020-07-131-6/+0
| | | | | | | | | | | | | | | | This reverts commit 09ecb9b2cf3ab76841d30712bf70dafc6d47ef67.
* | | | xilinx: Fix srl regression.Marcelina Kościelnicka2020-07-121-0/+41
|/ / / | | | | | | | | | | | | | | | | | | Of standard yosys cells, xilinx_srl only works on $_DFF_?_ and $_DFFE_?P_, which get upgraded to $_SDFFE_?P?P_ by dfflegalize at the point where xilinx_srl is called for non-abc9. Fix this by running ff_map.v first, resulting in FDRE cells, which are handled correctly.
* | | Revert PRs #2203 and #2244.whitequark2020-07-094-49/+0
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 7e83a51fc96495c558a31fc3ca6c1a5ba4764f15. This reverts commit b422f2e4d0b8d5bfa97913d6b9dee488b59fc405. This reverts commit 7cb56f34b06de666935fbda315ce7c7bd45048b3. This reverts commit 6f9be939bd7653b0bdcae93a1033a086a4561b68. This reverts commit 76a34dc5f3a60c89efeaa3378ca0e2700a8aebd2.
* | | dfflibmap: Refactor to use dfflegalize internally.Marcelina Kościelnicka2020-07-094-1/+136
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-02 23:23:36 +0000