aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Cleanups in ARST handling in wreduceClifford Wolf2019-02-241-10/+4
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #824 from litghost/fix_reduce_on_ffClifford Wolf2019-02-243-0/+37
|\ | | | | Fix WREDUCE on FF not fixing ARST_VALUE parameter.
| * Fix WREDUCE on FF not fixing ARST_VALUE parameter.Keith Rothman2019-02-223-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 noneClifford Wolf2019-02-242-0/+6
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Check if Verific was built with DB_PRESERVE_INITIAL_VALUEClifford Wolf2019-02-241-0/+4
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Merge pull request #819 from YosysHQ/clifford/optdClifford Wolf2019-02-221-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 Wolf2019-02-211-3/+3
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Rename "yosys -D" to "yosys -U", add "yosys -D" with expected behaviorClifford Wolf2019-02-211-2/+16
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge pull request #820 from YosysHQ/clifford/fix810Clifford Wolf2019-02-225-54/+26
|\ \ \ | | | | | | | | Fix #810 and fix #814
| * | | Fix TravisClifford Wolf2019-02-223-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 #814Clifford Wolf2019-02-212-9/+12
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Fix handling of expression width in $past, fixes #810Clifford Wolf2019-02-211-1/+1
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Fix segfault in printing of some internal error messagesClifford Wolf2019-02-211-2/+2
| |/ / | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge pull request #740 from daveshah1/improve_dressClifford Wolf2019-02-223-34/+65
|\ \ \ | |_|/ |/| | Improve ABC netname preservation
| * | ecp5: Use abc -dressDavid Shah2019-02-061-2/+2
| | | | | | | | | | | | Signed-off-by: David Shah <davey1576@gmail.com>
| * | abc: Improved recovered netnames, also preserve src on nets with dressDavid Shah2019-02-061-4/+13
| | | | | | | | | | | | Signed-off-by: David Shah <davey1576@gmail.com>
| * | ice40: Use abc -dress in synth_ice40David Shah2019-02-061-1/+1
| | | | | | | | | | | | Signed-off-by: David Shah <davey1576@gmail.com>
| * | abc: Preserve naming through ABC using 'dress' commandDavid Shah2019-02-061-29/+51
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | Hotfix for 4c82ddfClifford Wolf2019-02-211-11/+2
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge pull request #822 from litghost/expand_setundefClifford Wolf2019-02-211-0/+29
|\ \ \ | | | | | | | | Add -params mode to force undef parameters in selected cells.
| * | | Add -params mode to force undef parameters in selected cells.Keith Rothman2019-02-211-0/+29
|/ / / | | | | | | | | | Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
* | | Merge pull request #818 from YosysHQ/clifford/dffsrfixClifford Wolf2019-02-211-6/+7
|\ \ \ | | | | | | | | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816
| * | | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816Clifford Wolf2019-02-211-6/+7
| | |/ | |/| | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Merge pull request #786 from YosysHQ/pmgenClifford Wolf2019-02-2114-59/+1851
|\ \ \ | | | | | | | | Pattern Matcher Generator and iCE40 DSP Mapper
| * | | Fix typo in passes/pmgen/README.mdClifford Wolf2019-02-211-1/+1
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Bugfix in ice40_dspClifford Wolf2019-02-213-22/+35
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Add ice40 test_dsp_map test case generatorClifford Wolf2019-02-202-0/+99
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Add "synth_ice40 -dsp"Clifford Wolf2019-02-202-7/+31
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Add FF support to wreduceClifford Wolf2019-02-202-1/+73
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Improve iCE40 SB_MAC16 modelClifford Wolf2019-02-205-121/+179
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Detect and reject cases that do not map well to iCE40 DSPs (yet)Clifford Wolf2019-02-202-2/+17
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Add first draft of functional SB_MAC16 modelClifford Wolf2019-02-194-53/+467
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Add actual DSP inference to ice40_dsp passClifford Wolf2019-02-173-24/+214
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Merge branch 'master' of github.com:YosysHQ/yosys into pmgenClifford Wolf2019-02-1728-199/+627
| |\ \ \
| * | | | Progress in pmgenClifford Wolf2019-01-151-3/+11
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Progress in pmgen, add pmgen READMEClifford Wolf2019-01-153-14/+260
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Fix pmgen "reject" statementClifford Wolf2019-01-151-1/+1
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Progress in pmgenClifford Wolf2019-01-153-36/+139
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Progress in pmgenClifford Wolf2019-01-153-21/+157
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Progress in pmgenClifford Wolf2019-01-155-8/+347
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Add mockup .pmg (pattern matcher generator) fileClifford Wolf2019-01-151-0/+75
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | Merge pull request #821 from eddiehung/dff_initClifford Wolf2019-02-211-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 Hung2019-02-211-4/+2
| | | | | | | | | | | | | | | | | | | | This reverts commit 281f2aadcab01465f83a3f3a697eec42503e9f8b.
* | | | | Merge pull request #817 from eddiehung/dff_initEddie Hung2019-02-201-21/+0
|\| | | | | | | | | | | | | | Cleanup #805
| * | | | Remove simple_defparam testsEddie Hung2019-02-201-21/+0
| | | | |
* | | | | Merge pull request #805 from eddiehung/dff_initEddie Hung2019-02-194-2/+76
|\| | | | | |_|/ / |/| | | write_verilog to write initial statement for initial flop state
| * | | Instead of INIT param on cells, use initial statement with hier ref asEddie Hung2019-02-171-18/+13
| | | | | | | | | | | | | | | | per @cliffordwolf
| * | | Revert "Add INIT parameter to all ff/latch cells"Eddie Hung2019-02-172-86/+43
| | | | | | | | | | | | | | | | This reverts commit 742b4e01b498ae2e735d40565f43607d69a015d8.
| * | | Merge https://github.com/YosysHQ/yosys into dff_initEddie Hung2019-02-179-100/+345
| |\ \ \ | |/ / / |/| | |
* | | | Merge pull request #811 from ucb-bar/firrtlfixesClifford Wolf2019-02-176-56/+298
|\ \ \ \ | | | | | | | | | | Update cells supported for verilog to FIRRTL conversion.