aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into ice40dspEddie Hung2019-07-1828-195/+387
|\
| * Merge pull request #1184 from whitequark/synth-better-labelsClifford Wolf2019-07-185-17/+21
| |\ | | | | | | synth_{ice40,ecp5}: more sensible pass label naming
| | * synth_ecp5: rename dram to lutram everywhere.whitequark2019-07-164-13/+13
| | |
| | * synth_{ice40,ecp5}: more sensible pass label naming.whitequark2019-07-162-5/+9
| | |
| * | Merge pull request #1203 from whitequark/write_verilog-zero-width-valuesClifford Wolf2019-07-181-1/+2
| |\ \ | | | | | | | | write_verilog: dump zero width constants correctly
| | * | write_verilog: dump zero width constants correctly.whitequark2019-07-161-1/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this commit, zero width constants were dumped as "" (empty string). Unfortunately, 1364-2005 5.2.3.3 indicates that an empty string is equivalent to "\0", and is 8 bits wide, so that's wrong. After this commit, a replication operation with a count of zero is used instead, which is explicitly permitted per 1364-2005 5.1.14, and is defined to have size zero. (Its operand has to have a non-zero size for it to be legal, though.) Fixes #948 (again).
| * | | Remove old $pmux_safe code from write_verilogClifford Wolf2019-07-171-5/+4
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Merge pull request #1204 from smunaut/fix_1187David Shah2019-07-172-4/+4
| |\ \ \ | | |/ / | |/| | ice40: Adapt the relut process passes to the new $lut/SB_LUT4 port map
| | * | ice40: Adapt the relut process passes to the new $lut <=> SB_LUT4 port mapSylvain Munaut2019-07-162-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The new mapping introduced in 437fec0d88b4a2ad172edf0d1a861a38845f3b1d needed matching adaptation when converting and optimizing LUTs during the relut process Fixes #1187 (Diagnosis of the issue by @daveshah1 on IRC) Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
| * | | Merge pull request #1202 from YosysHQ/cmp2lut_lut6Eddie Hung2019-07-164-24/+37
| |\ \ \ | | |/ / | |/| | cmp2lut transformation to support >32 bit LUT masks
| | * | gen_lut to return correctly sized LUT maskEddie Hung2019-07-161-1/+1
| | | |
| | * | Forgot to commitEddie Hung2019-07-161-0/+7
| | | |
| | * | Add tests for cmp2lut on LUT6Eddie Hung2019-07-162-23/+29
| |/ /
| * | Merge pull request #1188 from YosysHQ/eddie/abc9_push_invertersEddie Hung2019-07-162-45/+128
| |\ \ | | | | | | | | abc9: push inverters driving box inputs (comb outputs) through $lut soft logic
| | * | Add commentEddie Hung2019-07-131-0/+5
| | | |
| | * | Update test with more accurate LUT maskEddie Hung2019-07-121-1/+1
| | | |
| | * | duplicate -> cloneEddie Hung2019-07-121-3/+3
| | | |
| | * | More cleanupEddie Hung2019-07-121-8/+2
| | | |
| | * | CleanupEddie Hung2019-07-121-29/+51
| | | |
| | * | CleanupEddie Hung2019-07-121-10/+4
| | | |
| | * | CleanupEddie Hung2019-07-121-15/+24
| | | |
| | * | More cleanupEddie Hung2019-07-121-11/+10
| | | |
| | * | CleanupEddie Hung2019-07-121-46/+16
| | | |
| | * | CleanupEddie Hung2019-07-121-7/+1
| | | |
| | * | CleanupEddie Hung2019-07-121-13/+109
| | |/
| * | Merge pull request #1186 from YosysHQ/eddie/abc9_ice40_fixEddie Hung2019-07-169-31/+122
| |\ \ | | | | | | | | abc9/ice40: encapsulate SB_CARRY+SB_LUT4 into one box
| | * | $__ICE40_CARRY_LUT4 -> $__ICE40_FULL_ADDER as per @whitequarkEddie Hung2019-07-157-8/+8
| | | |
| | * | ice40_opt to $__ICE40_CARRY_LUT4 into $lut not SB_LUTEddie Hung2019-07-131-9/+7
| | | |
| | * | Do not double count cells in abcEddie Hung2019-07-121-2/+2
| | | |
| | * | Use Const::from_string() not its constructor...Eddie Hung2019-07-121-1/+1
| | | |
| | * | Off by oneEddie Hung2019-07-121-1/+1
| | | |
| | * | Fix spacingEddie Hung2019-07-121-1/+1
| | | |
| | * | Remove double pushEddie Hung2019-07-121-1/+0
| | | |
| | * | Map to and from this box if -abc9Eddie Hung2019-07-121-2/+3
| | | |
| | * | ice40_opt to handle this box and opt back to SB_LUT4Eddie Hung2019-07-121-0/+48
| | | |
| | * | Add new box to cells_sim.vEddie Hung2019-07-121-2/+25
| | | |
| | * | _ABC macro will map and unmap to this new boxEddie Hung2019-07-122-0/+34
| | | |
| | * | Combine SB_CARRY+SB_LUT into one $__ICE40_CARRY_LUT4 boxEddie Hung2019-07-123-25/+13
| | | |
| * | | Merge pull request #1200 from mmicko/fix_typo_liberty_ccClifford Wolf2019-07-161-1/+1
| |\ \ \ | | | | | | | | | | Fix typo, double "of"
| | * | | Fix typo, double "of"Miodrag Milanovic2019-07-161-1/+1
| | | | |
| * | | | Merge pull request #1199 from mmicko/extract_fa_fixClifford Wolf2019-07-161-2/+2
| |\ \ \ \ | | |/ / / | |/| | | Fix check logic in extract_fa
| | * | | Fix check logic in extract_faMiodrag Milanovic2019-07-161-2/+2
| |/ / /
| * | | Merge pull request #1196 from YosysHQ/eddie/fix1178Eddie Hung2019-07-151-5/+12
| |\ \ \ | | | | | | | | | | Fix different synth results between with and without debug output "-g"
| | * | | Revert "Add log_checkpoint function and use it in opt_muxtree"Eddie Hung2019-07-153-9/+0
| | | | | | | | | | | | | | | | | | | | This reverts commit 0e6c83027f24cdf7082606a5631468ad28f41574.
| | * | | Revert "Fix first divergence in #1178"Eddie Hung2019-07-151-5/+1
| | | | | | | | | | | | | | | | | | | | This reverts commit 1122a2e0671ed00b7c03658f5012e34df12f26de.
| | * | | Merge branch 'master' into eddie/fix1178Eddie Hung2019-07-1526-93/+1204
| | |\ \ \
| | * | | | Redesign log_id_cache so that it doesn't keep IdString instances referenced, ↵Clifford Wolf2019-07-151-6/+13
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fixes #1178 Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | Add log_checkpoint function and use it in opt_muxtreeClifford Wolf2019-07-153-0/+9
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | Fix first divergence in #1178Eddie Hung2019-07-091-1/+5
| | | | | |
| * | | | | Merge pull request #1189 from YosysHQ/eddie/fix1151Clifford Wolf2019-07-151-0/+4
| |\ \ \ \ \ | | | | | | | | | | | | | | Error out if enable > dbits in memory_bram file