Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Cleanups in ARST handling in wreduce | Clifford Wolf | 2019-02-24 | 1 | -10/+4 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Merge pull request #824 from litghost/fix_reduce_on_ff | Clifford Wolf | 2019-02-24 | 3 | -0/+37 |
|\ | | | | | Fix WREDUCE on FF not fixing ARST_VALUE parameter. | ||||
| * | Fix WREDUCE on FF not fixing ARST_VALUE parameter. | Keith Rothman | 2019-02-22 | 3 | -0/+37 |
| | | | | | | | | | | | | Adds test case that fails without code change. Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com> | ||||
* | | Fix handling of defparam for when default_nettype is none | Clifford Wolf | 2019-02-24 | 2 | -0/+6 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | Check if Verific was built with DB_PRESERVE_INITIAL_VALUE | Clifford Wolf | 2019-02-24 | 1 | -0/+4 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | Merge pull request #819 from YosysHQ/clifford/optd | Clifford Wolf | 2019-02-22 | 1 | -2/+16 |
|\ \ | | | | | | | Rename "yosys -D" to "yosys -U", add "yosys -D" with expected behavior | ||||
| * | | Rename "yosys -U" to "yosys -P" to avoid confusion about "undefine" | Clifford Wolf | 2019-02-21 | 1 | -3/+3 |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Rename "yosys -D" to "yosys -U", add "yosys -D" with expected behavior | Clifford Wolf | 2019-02-21 | 1 | -2/+16 |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | Merge pull request #820 from YosysHQ/clifford/fix810 | Clifford Wolf | 2019-02-22 | 5 | -54/+26 |
|\ \ \ | | | | | | | | | Fix #810 and fix #814 | ||||
| * | | | Fix Travis | Clifford Wolf | 2019-02-22 | 3 | -42/+11 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | It looks like that whole "Fixing Travis's git clone" code was just there to make the "git describe --tags" work. I simply removed both. Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Fixes related to handling of autowires and upto-ranges, fixes #814 | Clifford Wolf | 2019-02-21 | 2 | -9/+12 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Fix handling of expression width in $past, fixes #810 | Clifford Wolf | 2019-02-21 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Fix segfault in printing of some internal error messages | Clifford Wolf | 2019-02-21 | 1 | -2/+2 |
| |/ / | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | Merge pull request #740 from daveshah1/improve_dress | Clifford Wolf | 2019-02-22 | 3 | -34/+65 |
|\ \ \ | |_|/ |/| | | Improve ABC netname preservation | ||||
| * | | ecp5: Use abc -dress | David Shah | 2019-02-06 | 1 | -2/+2 |
| | | | | | | | | | | | | Signed-off-by: David Shah <davey1576@gmail.com> | ||||
| * | | abc: Improved recovered netnames, also preserve src on nets with dress | David Shah | 2019-02-06 | 1 | -4/+13 |
| | | | | | | | | | | | | Signed-off-by: David Shah <davey1576@gmail.com> | ||||
| * | | ice40: Use abc -dress in synth_ice40 | David Shah | 2019-02-06 | 1 | -1/+1 |
| | | | | | | | | | | | | Signed-off-by: David Shah <davey1576@gmail.com> | ||||
| * | | abc: Preserve naming through ABC using 'dress' command | David Shah | 2019-02-06 | 1 | -29/+51 |
| | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | | Hotfix for 4c82ddf | Clifford Wolf | 2019-02-21 | 1 | -11/+2 |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | Merge pull request #822 from litghost/expand_setundef | Clifford Wolf | 2019-02-21 | 1 | -0/+29 |
|\ \ \ | | | | | | | | | Add -params mode to force undef parameters in selected cells. | ||||
| * | | | Add -params mode to force undef parameters in selected cells. | Keith Rothman | 2019-02-21 | 1 | -0/+29 |
|/ / / | | | | | | | | | | Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com> | ||||
* | | | Merge pull request #818 from YosysHQ/clifford/dffsrfix | Clifford Wolf | 2019-02-21 | 1 | -6/+7 |
|\ \ \ | | | | | | | | | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816 | ||||
| * | | | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816 | Clifford Wolf | 2019-02-21 | 1 | -6/+7 |
| | |/ | |/| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | Merge pull request #786 from YosysHQ/pmgen | Clifford Wolf | 2019-02-21 | 14 | -59/+1851 |
|\ \ \ | | | | | | | | | Pattern Matcher Generator and iCE40 DSP Mapper | ||||
| * | | | Fix typo in passes/pmgen/README.md | Clifford Wolf | 2019-02-21 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Bugfix in ice40_dsp | Clifford Wolf | 2019-02-21 | 3 | -22/+35 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Add ice40 test_dsp_map test case generator | Clifford Wolf | 2019-02-20 | 2 | -0/+99 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Add "synth_ice40 -dsp" | Clifford Wolf | 2019-02-20 | 2 | -7/+31 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Add FF support to wreduce | Clifford Wolf | 2019-02-20 | 2 | -1/+73 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Improve iCE40 SB_MAC16 model | Clifford Wolf | 2019-02-20 | 5 | -121/+179 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Detect and reject cases that do not map well to iCE40 DSPs (yet) | Clifford Wolf | 2019-02-20 | 2 | -2/+17 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Add first draft of functional SB_MAC16 model | Clifford Wolf | 2019-02-19 | 4 | -53/+467 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Add actual DSP inference to ice40_dsp pass | Clifford Wolf | 2019-02-17 | 3 | -24/+214 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Merge branch 'master' of github.com:YosysHQ/yosys into pmgen | Clifford Wolf | 2019-02-17 | 28 | -199/+627 |
| |\ \ \ | |||||
| * | | | | Progress in pmgen | Clifford Wolf | 2019-01-15 | 1 | -3/+11 |
| | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | | Progress in pmgen, add pmgen README | Clifford Wolf | 2019-01-15 | 3 | -14/+260 |
| | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | | Fix pmgen "reject" statement | Clifford Wolf | 2019-01-15 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | | Progress in pmgen | Clifford Wolf | 2019-01-15 | 3 | -36/+139 |
| | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | | Progress in pmgen | Clifford Wolf | 2019-01-15 | 3 | -21/+157 |
| | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | | Progress in pmgen | Clifford Wolf | 2019-01-15 | 5 | -8/+347 |
| | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | | Add mockup .pmg (pattern matcher generator) file | Clifford Wolf | 2019-01-15 | 1 | -0/+75 |
| | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | | | Merge pull request #821 from eddiehung/dff_init | Clifford Wolf | 2019-02-21 | 1 | -4/+2 |
|\ \ \ \ \ | |_|_|/ / |/| | | | | Revert "Add -B option to autotest.sh to append to backend_opts" | ||||
| * | | | | Revert "Add -B option to autotest.sh to append to backend_opts" | Eddie Hung | 2019-02-21 | 1 | -4/+2 |
| | | | | | | | | | | | | | | | | | | | | This reverts commit 281f2aadcab01465f83a3f3a697eec42503e9f8b. | ||||
* | | | | | Merge pull request #817 from eddiehung/dff_init | Eddie Hung | 2019-02-20 | 1 | -21/+0 |
|\| | | | | | | | | | | | | | | Cleanup #805 | ||||
| * | | | | Remove simple_defparam tests | Eddie Hung | 2019-02-20 | 1 | -21/+0 |
| | | | | | |||||
* | | | | | Merge pull request #805 from eddiehung/dff_init | Eddie Hung | 2019-02-19 | 4 | -2/+76 |
|\| | | | | |_|/ / |/| | | | write_verilog to write initial statement for initial flop state | ||||
| * | | | Instead of INIT param on cells, use initial statement with hier ref as | Eddie Hung | 2019-02-17 | 1 | -18/+13 |
| | | | | | | | | | | | | | | | | per @cliffordwolf | ||||
| * | | | Revert "Add INIT parameter to all ff/latch cells" | Eddie Hung | 2019-02-17 | 2 | -86/+43 |
| | | | | | | | | | | | | | | | | This reverts commit 742b4e01b498ae2e735d40565f43607d69a015d8. | ||||
| * | | | Merge https://github.com/YosysHQ/yosys into dff_init | Eddie Hung | 2019-02-17 | 9 | -100/+345 |
| |\ \ \ | |/ / / |/| | | | |||||
* | | | | Merge pull request #811 from ucb-bar/firrtlfixes | Clifford Wolf | 2019-02-17 | 6 | -56/+298 |
|\ \ \ \ | | | | | | | | | | | Update cells supported for verilog to FIRRTL conversion. |