aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | Merge pull request #833 from YosysHQ/clifford/fix831Clifford Wolf2019-02-281-4/+11
| |\ \ \ \
| | * | | | Fix smt2 code generation for partially initialized memowy words, fixes #831Clifford Wolf2019-02-281-4/+11
| |/ / / /
| * | | | Merge pull request #832 from YosysHQ/supercoverClifford Wolf2019-02-282-0/+93
| |\ \ \ \ | | |_|_|/ | |/| | |
| | * | | Improvements in "supercover" passClifford Wolf2019-02-271-2/+18
| | * | | Add "supercover" skeletonClifford Wolf2019-02-272-0/+77
| |/ / /
| * | | techlibs/greenpak4/cells_map.v: Harmonize whitespace within lut moduleLarry Doolittle2019-02-261-22/+22
| * | | Clean up some whitepsace outliersLarry Doolittle2019-02-263-6/+6
| |/ /
* | | Add shregmap -init_msb_first and use in synth_xilinxEddie Hung2019-03-142-4/+16
* | | Fix cells_map for SRLEddie Hung2019-03-141-19/+17
* | | Move shregmap until after first techmapEddie Hung2019-03-131-2/+2
* | | Refactor $__SHREG__ in cells_map.vEddie Hung2019-03-131-32/+24
* | | Remove SRL16/32 from cells_xtraEddie Hung2019-02-282-18/+2
* | | Add SRL16 and SRL32 sim modelsEddie Hung2019-02-281-0/+39
* | | Fix SRL16/32 techmap off-by-oneEddie Hung2019-02-281-18/+24
* | | synth_xilinx to call shregmap with enable supportEddie Hung2019-02-282-24/+29
* | | synth_xilinx to use shregmap with -params tooEddie Hung2019-02-282-22/+19
* | | synth_xilinx to now have shregmap call after dff2dffeEddie Hung2019-02-281-0/+2
* | | Add techmap rule for $__SHREG_DFF_P_ to SRL16/32Eddie Hung2019-02-281-0/+71
|/ /
* | Minor changes ontop of 71bcc4c: Remove hierarchy warning that is redundant to...Clifford Wolf2019-02-241-5/+1
* | Merge pull request #812 from ucb-bar/arrayhierarchyfixesClifford Wolf2019-02-243-11/+108
|\ \
| * | Address requested changes - don't require non-$ name.Jim Lawson2019-02-223-11/+14
| * | Fix normal (non-array) hierarchy -auto-top.Jim Lawson2019-02-193-10/+74
| * | Define basic_cell_type() function and use it to derive the cell type for arra...Jim Lawson2019-02-151-10/+40
* | | Cleanups in ARST handling in wreduceClifford Wolf2019-02-241-10/+4
* | | Merge pull request #824 from litghost/fix_reduce_on_ffClifford Wolf2019-02-243-0/+37
|\ \ \
| * | | Fix WREDUCE on FF not fixing ARST_VALUE parameter.Keith Rothman2019-02-223-0/+37
* | | | Fix handling of defparam for when default_nettype is noneClifford Wolf2019-02-242-0/+6
* | | | Check if Verific was built with DB_PRESERVE_INITIAL_VALUEClifford Wolf2019-02-241-0/+4
* | | | Merge pull request #819 from YosysHQ/clifford/optdClifford Wolf2019-02-221-2/+16
|\ \ \ \
| * | | | Rename "yosys -U" to "yosys -P" to avoid confusion about "undefine"Clifford Wolf2019-02-211-3/+3
| * | | | Rename "yosys -D" to "yosys -U", add "yosys -D" with expected behaviorClifford Wolf2019-02-211-2/+16
* | | | | Merge pull request #820 from YosysHQ/clifford/fix810Clifford Wolf2019-02-225-54/+26
|\ \ \ \ \
| * | | | | Fix TravisClifford Wolf2019-02-223-42/+11
| * | | | | Fixes related to handling of autowires and upto-ranges, fixes #814Clifford Wolf2019-02-212-9/+12
| * | | | | Fix handling of expression width in $past, fixes #810Clifford Wolf2019-02-211-1/+1
| * | | | | Fix segfault in printing of some internal error messagesClifford Wolf2019-02-211-2/+2
| |/ / / /
* | | | | Merge pull request #740 from daveshah1/improve_dressClifford Wolf2019-02-223-34/+65
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | ecp5: Use abc -dressDavid Shah2019-02-061-2/+2
| * | | | abc: Improved recovered netnames, also preserve src on nets with dressDavid Shah2019-02-061-4/+13
| * | | | ice40: Use abc -dress in synth_ice40David Shah2019-02-061-1/+1
| * | | | abc: Preserve naming through ABC using 'dress' commandDavid Shah2019-02-061-29/+51
* | | | | Hotfix for 4c82ddfClifford Wolf2019-02-211-11/+2
* | | | | Merge pull request #822 from litghost/expand_setundefClifford Wolf2019-02-211-0/+29
|\ \ \ \ \
| * | | | | Add -params mode to force undef parameters in selected cells.Keith Rothman2019-02-211-0/+29
|/ / / / /
* | | | | Merge pull request #818 from YosysHQ/clifford/dffsrfixClifford Wolf2019-02-211-6/+7
|\ \ \ \ \
| * | | | | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816Clifford Wolf2019-02-211-6/+7
| | |/ / / | |/| | |
* | | | | Merge pull request #786 from YosysHQ/pmgenClifford Wolf2019-02-2114-59/+1851
|\ \ \ \ \
| * | | | | Fix typo in passes/pmgen/README.mdClifford Wolf2019-02-211-1/+1
| * | | | | Bugfix in ice40_dspClifford Wolf2019-02-213-22/+35
| * | | | | Add ice40 test_dsp_map test case generatorClifford Wolf2019-02-202-0/+99