Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #1438 from YosysHQ/eddie/xilinx_dsp_comments | Eddie Hung | 2019-10-08 | 5 | -72/+364 |
|\ | | | | | Add notes and comments for xilinx_dsp | ||||
| * | Missed this | Eddie Hung | 2019-10-05 | 1 | -3/+4 |
| | | |||||
| * | Add comment on why we have to match for clock-enable/reset muxes | Eddie Hung | 2019-10-05 | 3 | -3/+11 |
| | | |||||
| * | Add note on pattern detector | Eddie Hung | 2019-10-05 | 1 | -3/+7 |
| | | |||||
| * | Add comment on why partial multipliers are 18x18 | Eddie Hung | 2019-10-04 | 1 | -4/+8 |
| | | |||||
| * | Add comments for xilinx_dsp_cascade | Eddie Hung | 2019-10-04 | 1 | -12/+100 |
| | | |||||
| * | Improve comments for xilinx_dsp_CREG | Eddie Hung | 2019-10-04 | 1 | -6/+7 |
| | | |||||
| * | Fix comment | Eddie Hung | 2019-10-04 | 1 | -1/+1 |
| | | |||||
| * | Restore optimisation for sigM.empty() | Eddie Hung | 2019-10-04 | 1 | -1/+4 |
| | | |||||
| * | Retry on fixing TODOs | Eddie Hung | 2019-10-04 | 2 | -13/+1 |
| | | |||||
| * | Revert "Fix TODOs" | Eddie Hung | 2019-10-04 | 2 | -0/+20 |
| | | | | | | | | This reverts commit 8674a6c68d563908014d16671567459499c6dc99. | ||||
| * | More comments, cleanup | Eddie Hung | 2019-10-04 | 2 | -41/+108 |
| | | |||||
| * | Fix TODOs | Eddie Hung | 2019-10-04 | 2 | -20/+0 |
| | | |||||
| * | Consistency | Eddie Hung | 2019-10-04 | 1 | -3/+3 |
| | | |||||
| * | Add comments for xilinx_dsp | Eddie Hung | 2019-10-04 | 3 | -6/+134 |
| | | |||||
* | | Merge pull request #1439 from YosysHQ/eddie/fix_ice40_wrapcarry | Clifford Wolf | 2019-10-06 | 2 | -0/+26 |
|\ \ | | | | | | | Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolf | ||||
| * | | Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolf | Eddie Hung | 2019-10-05 | 2 | -0/+26 |
| |/ | |||||
* | | Update README.md | Clifford Wolf | 2019-10-05 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #1436 from YosysHQ/mmicko/msvc_fix | Miodrag Milanović | 2019-10-05 | 2 | -2/+7 |
|\ \ | |/ |/| | Fixes for MSVC build | ||||
| * | Fixes for MSVC build | Miodrag Milanovic | 2019-10-04 | 2 | -2/+7 |
| | | |||||
* | | Fix typo in check_label() | Eddie Hung | 2019-10-04 | 1 | -1/+1 |
| | | |||||
* | | Add temporary `abc9 -nomfs` and use for `synth_xilinx -abc9` | Eddie Hung | 2019-10-04 | 2 | -5/+19 |
| | | |||||
* | | Remove DSP48E1 from *_cells_xtra.v | Eddie Hung | 2019-10-04 | 3 | -178/+2 |
| | | |||||
* | | Fix xilinx_dsp for unsigned extensions | Eddie Hung | 2019-10-04 | 1 | -1/+3 |
| | | |||||
* | | Fix for SigSpec() == SigSpec(State::Sx, 0) to be true again | Eddie Hung | 2019-10-04 | 1 | -0/+6 |
| | | |||||
* | | Add Const::{begin,end,empty}() | Eddie Hung | 2019-10-04 | 1 | -0/+3 |
| | | |||||
* | | Panic over. Model was elsewhere. Re-arrange for consistency | Eddie Hung | 2019-10-04 | 5 | -31/+4 |
| | | |||||
* | | Oops | Eddie Hung | 2019-10-04 | 1 | -1/+1 |
| | | |||||
* | | Ohmilord this wasn't added all this time!?! | Eddie Hung | 2019-10-04 | 1 | -0/+29 |
|/ | |||||
* | Change smtbmc "Warmup failed" status to "PREUNSAT" | Clifford Wolf | 2019-10-03 | 1 | -14/+14 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Update ABC to git rev 623b5e8 | Clifford Wolf | 2019-10-03 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Bump version | Clifford Wolf | 2019-10-03 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Merge pull request #1419 from YosysHQ/eddie/lazy_derive | Clifford Wolf | 2019-10-03 | 2 | -35/+59 |
|\ | | | | | module->derive() to be lazy and not touch ast if already derived | ||||
| * | Fix for svinterfaces | Eddie Hung | 2019-09-30 | 1 | -2/+8 |
| | | |||||
| * | module->derive() to be lazy and not touch ast if already derived | Eddie Hung | 2019-09-30 | 2 | -33/+51 |
| | | |||||
* | | Merge pull request #1422 from YosysHQ/eddie/aigmap_select | Clifford Wolf | 2019-10-03 | 2 | -6/+50 |
|\ \ | | | | | | | Add -select option to aigmap | ||||
| * | | Add quick test | Eddie Hung | 2019-09-30 | 1 | -0/+10 |
| | | | |||||
| * | | Add -select option to aigmap | Eddie Hung | 2019-09-30 | 1 | -6/+40 |
| | | | |||||
* | | | Merge pull request #1429 from YosysHQ/clifford/checkmapped | Clifford Wolf | 2019-10-03 | 2 | -27/+56 |
|\ \ \ | | | | | | | | | Add "check -mapped" | ||||
| * | | | Add "check -allow-tbuf" | Clifford Wolf | 2019-10-03 | 1 | -8/+22 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Add "check -mapped" | Clifford Wolf | 2019-10-02 | 2 | -21/+36 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | | Merge pull request #1425 from YosysHQ/dave/ecp5_pdp16 | David Shah | 2019-10-03 | 6 | -2/+184 |
|\ \ \ \ | | | | | | | | | | | ecp5: Add support for mapping 36-bit wide PDP BRAMs | ||||
| * | | | | ecp5: Fix shuffle_enable port | David Shah | 2019-10-01 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
| * | | | | ecp5: Add support for mapping 36-bit wide PDP BRAMs | David Shah | 2019-10-01 | 6 | -1/+183 |
| | |/ / | |/| | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | | | Merge pull request #1423 from YosysHQ/eddie/techmap_replace_wire | Eddie Hung | 2019-10-02 | 2 | -0/+32 |
|\ \ \ \ | | | | | | | | | | | RFC: techmap to recognise wires named "_TECHMAP_REPLACE_.<suffix>" | ||||
| * | | | | Also rename cells with _TECHMAP_REPLACE_. prefix, as per @cliffordwolf | Eddie Hung | 2019-10-02 | 1 | -4/+8 |
| | | | | | |||||
| * | | | | Extend test with renaming cells with prefix too | Eddie Hung | 2019-10-02 | 1 | -0/+2 |
| | | | | | |||||
| * | | | | Add test | Eddie Hung | 2019-09-30 | 1 | -0/+16 |
| | | | | | |||||
| * | | | | techmap wires named _TECHMAP_REPLACE_.<identifier> to create alias | Eddie Hung | 2019-09-30 | 1 | -0/+10 |
| |/ / / | |||||
* | | | | log_dump() to support State enum | Eddie Hung | 2019-10-02 | 3 | -0/+6 |
| | | | |