aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Fix width of DEddie Hung2019-09-191-1/+1
|
* Add mac.sh and macc_tb.v for testingEddie Hung2019-09-192-0/+99
|
* Suppress $anyseq warningsEddie Hung2019-09-191-15/+32
|
* Use ID() macroEddie Hung2019-09-192-210/+210
|
* Use (* techmap_autopurge *) to suppress techmap warningsEddie Hung2019-09-192-94/+99
|
* D is 25 bits not 24 bits wideEddie Hung2019-09-191-1/+1
|
* Merge remote-tracking branch 'origin/clifford/fix1381' into xc7dspEddie Hung2019-09-1914-95/+723
|\
| * Add techmap_autopurge attribute, fixes #1381Clifford Wolf2019-09-191-5/+49
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Use extractinv for synth_xilinx -iseMarcin Koƛcielnicki2019-09-198-90/+502
| |
| * Added extractinv passMarcin Koƛcielnicki2019-09-195-0/+172
| |
| * Document (* gentb_skip *) attr for test_autotbEddie Hung2019-09-181-0/+3
| |
* | When two boxes connect to each other, need not be a (* keep *)Eddie Hung2019-09-191-6/+1
| |
* | Re-enable sign extension for C inputEddie Hung2019-09-191-4/+4
| |
* | synth_xilinx to infer DSPs for Y_WIDTH >= 9 and [AB]_WIDTH >= 2Eddie Hung2019-09-191-1/+4
| |
* | Tidy up synth_ice40, only restrict DSP_B_MINWIDTH=2Eddie Hung2019-09-191-1/+3
| |
* | Do not perform width-checks for DSP48E1 which is much more complicatedEddie Hung2019-09-191-11/+0
| |
* | Remove TODO as check should not be necessaryEddie Hung2019-09-191-1/+0
| |
* | Revert index to selectEddie Hung2019-09-191-1/+1
| |
* | Cleanup xilinx_dsp tooEddie Hung2019-09-191-37/+28
| |
* | Refactor ce{mux,pol} -> hold{mux,pol}Eddie Hung2019-09-192-77/+77
| |
* | Add HOLD/RST support for SB_MAC16Eddie Hung2019-09-192-69/+116
| |
* | Add support for SB_MAC16 CD and H registersEddie Hung2019-09-192-13/+73
| |
* | Refactor ice40_dsp.pmgEddie Hung2019-09-192-194/+426
| |
* | Add more entriesEddie Hung2019-09-191-0/+1
| |
* | Format macc.vEddie Hung2019-09-191-8/+8
| |
* | CleanupEddie Hung2019-09-191-8/+4
| |
* | Remove statEddie Hung2019-09-181-1/+0
| |
* | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-183-15/+44
|\|
| * Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxextEddie Hung2019-09-186-14/+291
| |\ | | | | | | peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells
| | * OopsEddie Hung2019-09-131-1/+1
| | |
| | * Add counter-example from @cliffordwolfEddie Hung2019-09-131-0/+24
| | |
| | * Revert "Make one check $shift(x)? only; change testcase to be 8b"Eddie Hung2019-09-132-5/+4
| | | | | | | | | | | | This reverts commit e2c2d784c8217e4bcf29fb6b156b6a8285036b80.
| | * Tidy upEddie Hung2019-09-111-10/+16
| | |
| | * Fix UBEddie Hung2019-09-111-2/+2
| | |
* | | Add doc on pattern detector for overflowEddie Hung2019-09-181-0/+5
| | |
* | | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-1818-970/+19474
|\| |
| * | Merge pull request #1379 from mmicko/sim_modelsEddie Hung2019-09-182-7/+162
| |\ \ | | | | | | | | Added simulation models for Efinix and Anlogic
| | * | make note that it is for latch modeMiodrag Milanovic2019-09-181-0/+1
| | | |
| | * | better lut handlingMiodrag Milanovic2019-09-181-4/+14
| | | |
| | * | better handling of lut and begin/end addMiodrag Milanovic2019-09-181-4/+10
| | | |
| | * | Added simulation models for Efinix and AnlogicMiodrag Milanovic2019-09-152-3/+141
| | | |
| * | | Add "write_aiger -L"Clifford Wolf2019-09-181-5/+16
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Fix stupid bug in btor back-endClifford Wolf2019-09-181-1/+1
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Bump versionClifford Wolf2019-09-161-1/+1
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Merge pull request #1380 from YosysHQ/clifford/fix1372Clifford Wolf2019-09-161-2/+9
| |\ \ \ | | | | | | | | | | Fix handling of range selects on loop variables
| | * | | Fix handling of range selects on loop variables, fixes #1372Clifford Wolf2019-09-161-2/+9
| |/ / / | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Merge pull request #1374 from YosysHQ/eddie/fix1371Eddie Hung2019-09-152-5/+25
| |\ \ \ | | | | | | | | | | Fix two non-deterministic behaviours that cause divergence between compilers
| | * | | SpacingEddie Hung2019-09-131-1/+1
| | | | |
| | * | | Explicitly order function argumentsEddie Hung2019-09-131-4/+15
| | | | |
| | * | | Use template specialisationEddie Hung2019-09-131-2/+9
| | | | |