aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of github.com:YosysHQ/yosys into clifford/specifyClifford Wolf2019-05-063-12/+32
|\
| * Merge pull request #988 from YosysHQ/clifford/fix987Clifford Wolf2019-05-042-1/+5
| |\
| | * Add approximate support for SV "var" keyword, fixes #987Clifford Wolf2019-05-042-1/+5
| * | Improve opt_clean handling of unused wiresClifford Wolf2019-05-041-10/+22
| * | Add support for SVA "final" keywordClifford Wolf2019-05-042-1/+5
| |/
* | Improve write_verilog specify supportClifford Wolf2019-05-043-16/+75
* | Update READMEClifford Wolf2019-05-041-5/+1
* | More testingEddie Hung2019-05-032-2/+5
* | Fix spacingEddie Hung2019-05-031-6/+6
* | Add quick-and-dirty specify testsEddie Hung2019-05-032-0/+53
* | Merge remote-tracking branch 'origin/master' into clifford/specifyEddie Hung2019-05-0340-405/+931
|\|
| * Rename cells_map.v to prevent clash with ff_map.vEddie Hung2019-05-031-6/+8
| * iverilog with simcells.v as wellEddie Hung2019-05-031-1/+2
| * Merge pull request #969 from YosysHQ/clifford/pmgenstuffClifford Wolf2019-05-0313-151/+509
| |\
| | * Update pmgen documentationClifford Wolf2019-05-031-6/+18
| | * Fix typoClifford Wolf2019-05-031-1/+1
| | * Add peepopt_muldiv, fixes #930Clifford Wolf2019-04-306-1/+86
| | * pmgen progressClifford Wolf2019-04-304-13/+27
| | * Run "peepopt" in generic "synth" pass and "synth_ice40"Clifford Wolf2019-04-302-0/+4
| | * Some pmgen reorg, rename peepopt.pmg to peepopt_shiftmul.pmgClifford Wolf2019-04-303-4/+6
| | * Progress in shiftmul peepopt patternClifford Wolf2019-04-301-3/+51
| | * Add "peepopt" skeletonClifford Wolf2019-04-295-1/+112
| | * Add pmgen support for multiple patterns in one matcherClifford Wolf2019-04-293-130/+188
| | * Support multiple pmg files (right now just concatenated together)Clifford Wolf2019-04-291-6/+30
| * | Merge pull request #984 from YosysHQ/eddie/fix_982Clifford Wolf2019-05-031-1/+2
| |\ \
| | * | Revert "synth_xilinx to call dffinit with -noreinit"Eddie Hung2019-05-031-1/+1
| | * | If init is 1'bx, do not add to dict as per @cliffordwolfEddie Hung2019-05-031-1/+2
| | * | Revert "dffinit -noreinit to silently continue when init value is 1'bx"Eddie Hung2019-05-031-12/+4
| | * | synth_xilinx to call dffinit with -noreinitEddie Hung2019-05-021-1/+1
| | * | dffinit -noreinit to silently continue when init value is 1'bxEddie Hung2019-05-021-4/+12
| * | | Merge pull request #976 from YosysHQ/clifford/fix974Clifford Wolf2019-05-033-0/+25
| |\ \ \
| | * | | Add splitcmplxassign test case and silence splitcmplxassign warningClifford Wolf2019-05-012-0/+23
| | * | | Fix width detection of memory access with bit slice, fixes #974Clifford Wolf2019-05-011-0/+2
| * | | | Merge pull request #985 from YosysHQ/clifford/fix981Clifford Wolf2019-05-032-44/+81
| |\ \ \ \
| | * | | | Improve opt_expr and opt_clean handling of (partially) undriven and/or unused...Clifford Wolf2019-05-032-44/+81
| | | |/ / | | |/| |
| * | | | Fix typo in tests/svinterfaces/runone.shClifford Wolf2019-05-031-2/+2
| * | | | Merge pull request #979 from jakobwenzel/svinterfacesTestcaseClifford Wolf2019-05-031-2/+2
| |\ \ \ \ | | |/ / / | |/| | |
| | * | | fail svinterfaces testcases on yosys error exitJakob Wenzel2019-05-021-2/+2
| |/ / /
| * | | Merge pull request #963 from YosysHQ/eddie/synth_xilinx_fineClifford Wolf2019-05-023-34/+30
| |\ \ \
| | * | | Back to passing all xc7srl tests!Eddie Hung2019-05-011-5/+4
| | * | | Merge remote-tracking branch 'origin/master' into eddie/synth_xilinx_fineEddie Hung2019-05-0122-190/+286
| | |\ \ \
| | * | | | WIPEddie Hung2019-04-281-36/+22
| | * | | | Move neg-pol to pos-pol mapping from ff_map to cells_map.vEddie Hung2019-04-282-9/+12
| | * | | | Revert synth_xilinx 'fine' label more to how it used to be...Eddie Hung2019-04-261-21/+40
| * | | | | Merge pull request #978 from ucb-bar/fmtfirrtlEddie Hung2019-05-011-25/+25
| |\ \ \ \ \ | | |_|/ / / | |/| | | |
| | * | | | Re-indent firrtl.cc:struct memory - no functional change.Jim Lawson2019-05-011-25/+25
| * | | | | Merge branch 'master' of github.com:YosysHQ/yosysEddie Hung2019-05-0121-176/+273
| |\| | | |
| | * | | | Merge branch 'clifford/fix883'Clifford Wolf2019-05-021-0/+1
| | |\ \ \ \
| | | * | | | Add missing enable_undef to "sat -tempinduct-def", fixes #883Clifford Wolf2019-05-021-0/+1
| | |/ / / /
| | * | | | Merge pull request #977 from ucb-bar/fixfirrtlmemClifford Wolf2019-05-013-4/+64
| | |\ \ \ \