aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Clean up pseudo-private member usage in `passes/sat/miter.cc`.Alberto Gonzalez2020-03-191-60/+56
* Merge pull request #1769 from boqwxp/select_cleanupEddie Hung2020-03-171-162/+157
|\
| * Further clean up `passes/cmds/select.cc`.Alberto Gonzalez2020-03-161-11/+9
| * Cleanup code style and pseudo-private member usage in `passes/cmds/select.cc`.Alberto Gonzalez2020-03-161-162/+159
* | Add YS_ prefix to macros, add explanation and apply to older version as wellMiodrag Milanovic2020-03-131-10/+10
* | Use boost xpressive for gcc 4.8Miodrag Milanovic2020-03-131-28/+10
|/
* Merge pull request #1751 from boqwxp/add_assertN. Engelhardt2020-03-121-1/+57
|\
| * Extend `add` command to allow adding cells for verification like $assert, $as...Alberto Gonzalez2020-03-101-1/+57
* | Merge pull request #1743 from YosysHQ/eddie/abc9_keepEddie Hung2020-03-112-13/+15
|\ \
| * | 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 abc9David Shah2020-03-091-7/+7
| |/
* | Merge pull request #1721 from YosysHQ/dave/tribuf-unusedDavid Shah2020-03-101-2/+1
|\ \
| * | deminout: Don't demote inouts with unused bitsDavid Shah2020-03-041-2/+1
* | | 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
|\ \
| * \ 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
* | | | Merge pull request #1724 from YosysHQ/eddie/abc9_specifyEddie Hung2020-03-022-187/+372
|\ \ \ \
| * | | | 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
|\ \ \ \
| * | | | 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