aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | | | abc9_ops: sort LUT delays to be ascendingEddie Hung2020-02-271-1/+4
| | | | | | |
| * | | | | | ice40: move over to specify blocks for -abc9Eddie Hung2020-02-2710-164/+1344
| | | | | | |
| * | | | | | synth_ecp5: use +/abc9_model.vEddie Hung2020-02-271-1/+1
| | | | | | |
| * | | | | | Update xilinx for ABC9Eddie Hung2020-02-273-20/+16
| | | | | | |
| * | | | | | Create +/abc9_model.v for $__ABC9_{DELAY,FF_}Eddie Hung2020-02-272-0/+11
| | | | | | |
| * | | | | | abc9_ops: output LUT areaEddie Hung2020-02-271-6/+6
| | | | | | |
| * | | | | | ecp5: remove small LUT entriesEddie Hung2020-02-271-24/+6
| | | | | | |
| * | | | | | abc9_ops: cope with T_LIMIT{,2}_{MIN,TYP,MAX} and auto-gen small LUTsEddie Hung2020-02-271-18/+33
| | | | | | |
| * | | | | | Fix commented out specify statementEddie Hung2020-02-271-6/+6
| | | | | | |
| * | | | | | xilinx: improve specify functionalityEddie Hung2020-02-278-466/+547
| | | | | | |
| * | | | | | ecp5: deprecate abc9_{arrival,required} and *.{lut,box}Eddie Hung2020-02-277-86/+120
| | | | | | |
| * | | | | | xilinx: use specify blocks in place of abc9_{arrival,required}Eddie Hung2020-02-273-347/+670
| | | | | | |
| * | | | | | Auto-generate .box/.lut files from specify blocksEddie Hung2020-02-278-466/+268
| | | | | | |
| * | | | | | abc9_ops: assert on $specify2 propertiesEddie Hung2020-02-271-0/+3
| | | | | | |
| * | | | | | abc9_ops: -prep_box, to be called onceEddie Hung2020-02-273-51/+50
| | | | | | |
| * | | | | | abc9_ops: -prep_lut and -write_lut to auto-generate LUT libraryEddie Hung2020-02-274-10/+200
| | | | | | |
* | | | | | | Merge pull request #1729 from rqou/coolrunner2N. Engelhardt2020-03-023-109/+443
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | coolrunner2 buffer cell insertion fixes
| * | | | | | | coolrunner2: Attempt to give wires/cells more meaningful namesR. Ou2020-03-022-23/+66
| | | | | | | |
| * | | | | | | coolrunner2: Fix invalid multiple fanouts of XOR/OR gatesR. Ou2020-03-021-0/+96
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In some cases where multiple output pins share identical combinatorial logic, yosys would only generate one $sop cell and therefore one MACROCELL_XOR cell to try to feed the multiple sinks. This is not valid, so make the fixup pass duplicate cells when necessary. For example, fixes the following code: module top(input a, input b, input clk_, output reg o, output o2); wire clk; BUFG bufg0 ( .I(clk_), .O(clk), ); always @(posedge clk) o = a ^ b; assign o2 = a ^ b; endmodule
| * | | | | | | coolrunner2: Fix packed register+input buffer insertionR. Ou2020-03-021-2/+84
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The register will be packed with the input buffer if and only if the input buffer doesn't have any other loads.
| * | | | | | | coolrunner2: Insert many more required feedthrough cellsR. Ou2020-03-013-102/+215
|/ / / / / / /
* | | | | | | Merge pull request #1727 from YosysHQ/eddie/fix_write_smt2Eddie Hung2020-02-291-11/+11
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | ystests: fix write_smt2_write_smt2_cyclic_dependency_fail
| * | | | | | | ystests: fix write_smt2_write_smt2_cyclic_dependency_failEddie Hung2020-02-281-11/+11
| | | | | | | |
* | | | | | | | Merge pull request #1726 from YosysHQ/eddie/fix1710Eddie Hung2020-02-282-9/+52
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | ast: fixes #1710; do not generate RTLIL for unreachable ternary branch
| * | | | | | | ast: fixes #1710; do not generate RTLIL for unreachable ternaryEddie Hung2020-02-272-9/+52
|/ / / / / / /
* / / / / / / Comment out log()Eddie Hung2020-02-271-1/+1
|/ / / / / /
* | | | | | Merge pull request #1709 from rqou/coolrunner2_counterClaire Wolf2020-02-274-97/+519
|\ \ \ \ \ \ | | | | | | | | | | | | | | Improve CoolRunner-II optimization by using extract_counter pass
| * | | | | | coolrunner2: Use extract_counter to optimize countersR. Ou2020-02-173-0/+165
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This tends to make much more efficient pterm usage compared to just throwing the problem at ABC
| * | | | | | extract_counter: Implement extracting up countersR. Ou2020-02-171-65/+247
| | | | | | |
| * | | | | | extract_counter: Add support for inverted clock enableR. Ou2020-02-171-8/+28
| | | | | | |
| * | | | | | extract_counter: Fix clock enableR. Ou2020-02-171-1/+3
| | | | | | |
| * | | | | | extract_counter: Fix outputting count to module portR. Ou2020-02-171-8/+20
| | | | | | |
| * | | | | | extract_counter: Allow forbidding async resetR. Ou2020-02-171-2/+17
| | | | | | |
| * | | | | | extract_counter: Refactor out extraction settings into structR. Ou2020-02-171-17/+43
| | | | | | |
* | | | | | | Merge pull request #1708 from rqou/coolrunner2-buf-fixClaire Wolf2020-02-274-54/+163
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | coolrunner2: Separate and improve buffer cell insertion pass
| * | | | | | | coolrunner2: Separate and improve buffer cell insertion passR. Ou2020-02-164-54/+163
| |/ / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The new pass will contain all of the logic for inserting "passthrough" product term and XOR cells as appropriate for the architecture. For example, this commit fixes connecting an input pin directly to another output pin with no logic in between.
* | | | | | | xilinx: mark IOBUFDSE3 IOB pin as externalPiotr Binkowski2020-02-272-1/+2
| | | | | | |
* | | | | | | Merge pull request #1705 from YosysHQ/logger_passMiodrag Milanović2020-02-266-2/+303
|\ \ \ \ \ \ \ | |_|_|_|_|/ / |/| | | | | | Logger pass
| * | | | | | Remove tests for nowMiodrag Milanovic2020-02-264-24/+0
| | | | | | |
| * | | | | | Add tests for logger passMiodrag Milanovic2020-02-234-0/+24
| | | | | | |
| * | | | | | Remove duplicate warning detectionMiodrag Milanovic2020-02-231-0/+6
| | | | | | |
| * | | | | | Fix line endingsMiodrag Milanovic2020-02-231-10/+10
| | | | | | |
| * | | | | | Update explanation for expect-no-warningsMiodrag Milanovic2020-02-221-1/+1
| | | | | | |
| * | | | | | Handle expect no warnings together with expectedMiodrag Milanovic2020-02-223-4/+12
| | | | | | |
| * | | | | | Check other regex parametersMiodrag Milanovic2020-02-221-15/+30
| | | | | | |
| * | | | | | check for regex errorsMiodrag Milanovic2020-02-201-16/+20
| | | | | | |
| * | | | | | Prevent double error messageMiodrag Milanovic2020-02-171-1/+3
| | | | | | |
| * | | | | | Option to expect no warningsMiodrag Milanovic2020-02-174-0/+12
| | | | | | |
| * | | | | | Add to changelogMiodrag Milanovic2020-02-171-0/+1
| | | | | | |
| * | | | | | No new error if already failingMiodrag Milanovic2020-02-171-1/+2
| | | | | | |