| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Clean up pseudo-private member usage in `passes/sat/freduce.cc`. | Alberto Gonzalez | 2020-03-28 | 1 | -13/+12 |
| | | |||||
| * | Merge pull request #1607 from whitequark/simplify-simplify-meminit | Claire Wolf | 2020-03-27 | 1 | -63/+82 |
| |\ | | | | | ast: avoid intermediate wires/assigns when lowering to AST_MEMINIT | ||||
| | * | ast: avoid intermediate wires/assigns when lowering to AST_MEMINIT. | whitequark | 2020-02-07 | 1 | -65/+84 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this commit, every initial assignment to a memory generated two wires and four assigns in a process. For unknown reasons (I did not investigate), large amounts of assigns cause quadratic slowdown later in the AST frontend, in processAst/removeSignalFromCaseTree. As a consequence, common and reasonable Verilog code, such as: reg [`WIDTH:0] mem [0:`DEPTH]; integer i; initial for (i = 0; i <= `DEPTH; i++) mem[i] = 0; took extremely long time to be processed; around 80 s for a 8-wide, 8192-deep memory. After this commit, initial assignments where address and/or data are constant (after `generate`) do not incur the cost of intermediate wires; expressions like `mem[i+1]=i^(i<<1)` are considered constant. This results in speedups of orders of magnitude for common memory sizes; it now takes merely 0.4 s to process a 8-wide, 8192-deep memory, and only 5.8 s to process a 8-wide, 131072-deep one. As a bonus, this change also results in nontrivial speedups later in the synthesis pipeline, since pass sequencing issues meant that all of these intermediate wires were subject to transformations such as width reduction, even though they existed solely to be constant folded away in `memory_collect`. | ||||
| * | | Merge pull request #1815 from boqwxp/fix-ef-optimize | Claire Wolf | 2020-03-27 | 1 | -1/+7 |
| |\ \ | | | | | | | Fix solver output parsing for exists-forall optimization | ||||
| | * | | Do not change solver output parsing for non-exists-forall problems. | Alberto Gonzalez | 2020-03-26 | 1 | -2/+6 |
| | | | | |||||
| | * | | Skip reading stdout from the solver that if it isn't a line reading only ↵ | Alberto Gonzalez | 2020-03-26 | 1 | -1/+3 |
| | | | | | | | | | | | | | "sat", "unsat", or "unknown". | ||||
| * | | | Merge pull request #1806 from YosysHQ/mwk/techmap-replace-fix | Claire Wolf | 2020-03-26 | 2 | -1/+19 |
| |\ \ \ | |/ / |/| | | techmap: Fix cell names with _TECHMAP_REPLACE_.* | ||||
| | * | | techmap: Fix cell names with _TECHMAP_REPLACE_.* | Marcin Kościelnicki | 2020-03-23 | 2 | -1/+19 |
| | | | | | | | | | | | | | Fixes #1804. | ||||
| * | | | Revert part of 0fda8308 from #1746 that broke other smtbmc flows | Claire Wolf | 2020-03-24 | 1 | -3/+1 |
| | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
| * | | | Merge pull request #1763 from boqwxp/issue1762 | N. Engelhardt | 2020-03-23 | 8 | -12/+73 |
| |\ \ \ | | | | | | | | | Closes #1762. Adds warnings for `select` arguments not matching any object and for `add` command when no modules selected | ||||
| | * | | | Do not warn on empty selection with prefixed `arg_memb`. | Alberto Gonzalez | 2020-03-23 | 2 | -1/+7 |
| | | | | | | | | | | | | | | | | | Co-Authored-By: N. Engelhardt <nak@symbioticeda.com> | ||||
| | * | | | Suppress warnings for empty `select` arguments when `-count` or `-assert-*` ↵ | Alberto Gonzalez | 2020-03-23 | 2 | -4/+7 |
| | | | | | | | | | | | | | | | | | options are set. | ||||
| | * | | | Add tests for `select` command warnings. | Alberto Gonzalez | 2020-03-23 | 4 | -0/+13 |
| | | | | | |||||
| | * | | | Warn on empty selection for `add` command. | Alberto Gonzalez | 2020-03-23 | 2 | -6/+40 |
| | | | | | |||||
| | * | | | Add N:* to select language, fix some old code | Claire Wolf | 2020-03-17 | 1 | -4/+9 |
| | | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
| * | | | | Merge pull request #1803 from Grazfather/typedef | N. Engelhardt | 2020-03-23 | 12 | -40/+124 |
| |\ \ \ \ | | | | | | | | | | | Support standard typedef grammar (Fixed) | ||||
| | * | | | | Simplify was not being called for packages. Broke typedef enums. | Peter Crozier | 2020-03-22 | 1 | -5/+8 |
| | | | | | | |||||
| | * | | | | Build pkg_user_types before parsing in case of changes in the design. | Peter Crozier | 2020-03-22 | 1 | -6/+3 |
| | | | | | | |||||
| | * | | | | Clear pkg_user_types if no packages following a 'design -reset-vlog'. | Peter | 2020-03-22 | 2 | -0/+5 |
| | | | | | | |||||
| | * | | | | Revert typedef tests to standard grammar. | Peter | 2020-03-22 | 7 | -25/+26 |
| | | | | | | |||||
| | * | | | | Parser changes to support typedef. | Peter | 2020-03-22 | 4 | -10/+88 |
| | | | | | | |||||
| * | | | | | Merge pull request #1805 from hofstee/master | N. Engelhardt | 2020-03-23 | 2 | -2/+2 |
| |\ \ \ \ \ | | | | | | | | | | | | | fix typo in `write_smt2` help | ||||
| | * | | | | | fix typo in `write_smt2` help | Teguh Hofstee | 2020-03-23 | 2 | -2/+2 |
| | | | | | | | |||||
| * | | | | | | Merge pull request #1785 from boqwxp/mitercc_cleanup | N. Engelhardt | 2020-03-23 | 1 | -60/+56 |
| |\ \ \ \ \ \ | |/ / / / / |/| | | | | | Clean up pseudo-private member usage in `passes/sat/miter.cc`. | ||||
| | * | | | | | Clean up pseudo-private member usage in `passes/sat/miter.cc`. | Alberto Gonzalez | 2020-03-19 | 1 | -60/+56 |
| | | | | | | | |||||
| * | | | | | | iopadmap: Attempt to give new wires/cells meaningful names | R. Ou | 2020-03-22 | 1 | -6/+18 |
| | |_|_|/ / |/| | | | | |||||
| * | | | | | Merge pull request #1794 from YosysHQ/dave/mince-abc9-fix | David Shah | 2020-03-21 | 2 | -0/+18 |
| |\ \ \ \ \ | | | | | | | | | | | | | ice40: Map unmapped 'mince' DFFs to gate level | ||||
| | * | | | | | Add test for abc9+mince issue | David Shah | 2020-03-20 | 1 | -0/+17 |
| | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
| | * | | | | | ice40: Map unmapped 'mince' DFFs to gate level | David Shah | 2020-03-20 | 1 | -0/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
| * | | | | | | Merge pull request #1795 from smunaut/fix_abc9_spram | Eddie Hung | 2020-03-20 | 1 | -2/+2 |
| |\ \ \ \ \ \ | |/ / / / / |/| | | | | | ice40: Fix typos in SPRAM ABC9 timing specs | ||||
| | * | | | | | ice40: Fix typos in SPRAM ABC9 timing specs | Sylvain Munaut | 2020-03-20 | 1 | -2/+2 |
| |/ / / / / | | | | | | | | | | | | | | | | Signed-off-by: Sylvain Munaut <tnt@246tNt.com> | ||||
| * | / / / | xilinx: Mark IOBUFDS.IOB as external pad | Marcin Kościelnicki | 2020-03-20 | 2 | -1/+2 |
| | |/ / / |/| | | | |||||
| * | | | | Merge pull request #1788 from YosysHQ/eddie/fix_ndebug | Eddie Hung | 2020-03-19 | 2 | -2/+2 |
| |\ \ \ \ | | | | | | | | | | | Fix NDEBUG warnings | ||||
| | * | | | | Fix NDEBUG warnings | Eddie Hung | 2020-03-19 | 2 | -2/+2 |
| | | | | | | |||||
| * | | | | | fsm_extract: Initialize celltypes with full design. | Marcin Kościelnicki | 2020-03-19 | 2 | -5/+34 |
| | | | | | | | | | | | | | | | | | | | | | Fixes #1781. | ||||
| * | | | | | Merge pull request #1787 from YosysHQ/mmicko/lexer_deps | Miodrag Milanović | 2020-03-19 | 1 | -1/+1 |
| |\ \ \ \ \ | |/ / / / |/| | | | | Add dependency to verilog_lexer.cc | ||||
| | * | | | | Add one mode dependency | Miodrag Milanovic | 2020-03-19 | 1 | -1/+1 |
| | |/ / / | |||||
| * | | | | Merge pull request #1774 from boqwxp/exec | N. Engelhardt | 2020-03-19 | 3 | -0/+210 |
| |\ \ \ \ | | | | | | | | | | | Add `exec` command to allow running shell commands from inside Yosys scripts | ||||
| | * | | | | Update copyright and license header. | Alberto Gonzalez | 2020-03-18 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | I hereby assign to Claire Wolf the copyright for all work I did on `passes/cmds/exec.cc`. In the event that this copyright assignment is not legally valid, I offer this work under the ISC license. | ||||
| | * | | | | Clean up `exec` code according to review. | Alberto Gonzalez | 2020-03-18 | 1 | -5/+18 |
| | | | | | | | | | | | | | | | | | | | | | Co-Authored-By: Miodrag Milanović <mmicko@gmail.com> | ||||
| | * | | | | Add test for `exec` command. | Alberto Gonzalez | 2020-03-16 | 1 | -0/+6 |
| | | | | | | |||||
| | * | | | | Allow specifying multiple regexes to match in `exec` command output, and ↵ | Alberto Gonzalez | 2020-03-16 | 1 | -33/+67 |
| | | | | | | | | | | | | | | | | | | | | | also to specify regexes that must _not_ match. | ||||
| | * | | | | Add `exec` command to run shell commands. | Alberto Gonzalez | 2020-03-16 | 2 | -0/+157 |
| | | | | | | |||||
| * | | | | | Merge pull request #1775 from huaixv/asserts_locations | N. Engelhardt | 2020-03-19 | 2 | -7/+31 |
| |\ \ \ \ \ | |_|/ / / |/| | | | | Add precise locations for asserts | ||||
| | * | | | | Add precise locations for asserts | huaixv | 2020-03-19 | 2 | -7/+31 |
| | | | | | | |||||
| * | | | | | Merge pull request #1780 from YosysHQ/fix-test-bash | Miodrag Milanović | 2020-03-18 | 2 | -3/+4 |
| |\ \ \ \ \ | |_|_|/ / |/| | | | | Fix make test on macOS: add bash to brewfile & fix argument order | ||||
| | * | | | | fix argument order for macOS compatibility | N. Engelhardt | 2020-03-18 | 1 | -3/+3 |
| | | | | | | |||||
| | * | | | | add bash to brewfile | N. Engelhardt | 2020-03-18 | 1 | -0/+1 |
| |/ / / / | | | | | | | | | Default bash on macOS is version 3, which does not support `define -A`, now used in `tests/arch/run-test.sh`. Use brew to install newer bash. | ||||
| * | | | | Merge pull request #1769 from boqwxp/select_cleanup | Eddie Hung | 2020-03-17 | 1 | -162/+157 |
| |\ \ \ \ | | | | | | | | | | | Clean up code style and pseudo-private member usage in `passes/cmds/select.cc` | ||||
| | * | | | | Further clean up `passes/cmds/select.cc`. | Alberto Gonzalez | 2020-03-16 | 2 | -12/+9 |
| | | | | | | | | | | | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com> | ||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |