aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* opt_expr: optimise 1-bit $xor or $_XOR_ with constant inputEddie Hung2020-03-191-1/+14
|
* Merge pull request #1751 from boqwxp/add_assertN. Engelhardt2020-03-121-1/+57
|\ | | | | Extend `add` command to allow adding $assert cells.
| * Extend `add` command to allow adding cells for verification like $assert, ↵Alberto Gonzalez2020-03-101-1/+57
| | | | | | | | $assume, etc.
* | Merge pull request #1743 from YosysHQ/eddie/abc9_keepEddie Hung2020-03-112-13/+15
|\ \ | | | | | | abc9: improve (* keep *) handling
| * | abc9: for sccs, create a new wire instead of using entirety of existingEddie Hung2020-03-061-7/+7
| | |
| * | abc9: (* keep *) wires to be PO only, not PI as well; fix scc handlingEddie Hung2020-03-061-8/+5
| | |
| * | abc: add abc.debug scratchpad optionEddie Hung2020-03-061-0/+5
| |/
* | Merge pull request #1753 from YosysHQ/dave/abc9-speedupDavid Shah2020-03-101-7/+7
|\ \ | | | | | | Add ScriptPass::run_nocheck and use for abc9
| * | Add ScriptPass::run_nocheck and use for abc9David Shah2020-03-091-7/+7
| |/ | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Merge pull request #1721 from YosysHQ/dave/tribuf-unusedDavid Shah2020-03-101-2/+1
|\ \ | | | | | | deminout: Don't demote inouts with unused bits
| * | deminout: Don't demote inouts with unused bitsDavid Shah2020-03-041-2/+1
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | Clean up passes/cmds/add.cc code style.Alberto Gonzalez2020-03-101-20/+17
| |/ |/|
* | Merge pull request #1519 from YosysHQ/eddie/submod_poClaire Wolf2020-03-031-37/+99
|\ \ | | | | | | submod: several bugfixes
| * \ Merge branch 'master' into eddie/submod_poEddie Hung2020-02-0133-1631/+3612
| |\ \
| * | | Use pool instead of std::set for determinismEddie Hung2019-12-021-1/+1
| | | |
* | | | iopadmap: Look harder for already-present buffers. (#1731)Marcelina Kościelnicka2020-03-021-14/+54
| | | | | | | | | | | | | | | | | | | | iopadmap: Look harder for already-present buffers. Fixes #1720.
* | | | Merge pull request #1724 from YosysHQ/eddie/abc9_specifyEddie Hung2020-03-022-187/+372
|\ \ \ \ | | | | | | | | | | abc9: auto-generate *.lut/*.box files and arrival/required times from specify entries
| * | | | Fixes for older compilersEddie Hung2020-02-271-1/+1
| | | | |
| * | | | abc9_ops: suppress -prep_box warning for abc9_flopEddie Hung2020-02-271-1/+1
| | | | |
| * | | | Make TimingInfo::TimingInfo(SigBit) constructor explicitEddie Hung2020-02-271-3/+3
| | | | |
| * | | | TimingInfo: index by (port_name,offset)Eddie Hung2020-02-271-3/+4
| | | | |
| * | | | Fix spacingEddie Hung2020-02-271-18/+18
| | | | |
| * | | | abc9_ops: still emit delay table even box has no timingEddie Hung2020-02-271-3/+1
| | | | |
| * | | | abc9_ops: demote lack of box timing info to warningEddie Hung2020-02-271-2/+4
| | | | |
| * | | | Get rid of (* abc9_{arrival,required} *) entirelyEddie Hung2020-02-271-89/+15
| | | | |
| * | | | abc9_ops: use TimingInfo for -prep_{lut,box} tooEddie Hung2020-02-271-24/+18
| | | | |
| * | | | abc9_ops: use TimingInfo for -prep_{lut,box} tooEddie Hung2020-02-271-72/+53
| | | | |
| * | | | abc9_ops: add and use new TimingInfo structEddie Hung2020-02-271-70/+41
| | | | |
| * | | | abc9_ops: ignore (* abc9_flop *) if not '-dff'Eddie Hung2020-02-272-64/+64
| | | | |
| * | | | abc9_ops: sort LUT delays to be ascendingEddie Hung2020-02-271-1/+4
| | | | |
| * | | | abc9_ops: output LUT areaEddie Hung2020-02-271-6/+6
| | | | |
| * | | | abc9_ops: cope with T_LIMIT{,2}_{MIN,TYP,MAX} and auto-gen small LUTsEddie Hung2020-02-271-18/+33
| | | | |
| * | | | xilinx: improve specify functionalityEddie Hung2020-02-271-19/+19
| | | | |
| * | | | xilinx: use specify blocks in place of abc9_{arrival,required}Eddie Hung2020-02-271-158/+264
| | | | |
| * | | | Auto-generate .box/.lut files from specify blocksEddie Hung2020-02-271-40/+117
| | | | |
| * | | | abc9_ops: assert on $specify2 propertiesEddie Hung2020-02-271-0/+3
| | | | |
| * | | | abc9_ops: -prep_box, to be called onceEddie Hung2020-02-272-50/+49
| | | | |
| * | | | abc9_ops: -prep_lut and -write_lut to auto-generate LUT libraryEddie Hung2020-02-272-6/+115
| | | | |
* | | | | ystests: fix write_smt2_write_smt2_cyclic_dependency_failEddie Hung2020-02-281-11/+11
|/ / / /
* | | | Merge pull request #1709 from rqou/coolrunner2_counterClaire Wolf2020-02-271-97/+354
|\ \ \ \ | | | | | | | | | | Improve CoolRunner-II optimization by using extract_counter pass
| * | | | 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 #1705 from YosysHQ/logger_passMiodrag Milanović2020-02-262-0/+202
|\ \ \ \ \ | |_|_|_|/ |/| | | | Logger pass
| * | | | Fix line endingsMiodrag Milanovic2020-02-231-10/+10
| | | | |
| * | | | Update explanation for expect-no-warningsMiodrag Milanovic2020-02-221-1/+1
| | | | |
| * | | | Check other regex parametersMiodrag Milanovic2020-02-221-15/+30
| | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 22:41:38 +0000