aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1638 from YosysHQ/eddie/fix1631Eddie Hung2020-02-052-6/+143
|\ | | | | clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*
| * More rigorous testEddie Hung2020-01-161-7/+34
| |
| * clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*Eddie Hung2020-01-152-6/+116
| |
* | Merge pull request #1661 from YosysHQ/eddie/abc9_requiredEddie Hung2020-02-0512-242/+809
|\ \ | | | | | | abc9: add support for required times
| * | abc9_ops: -check for negative arrival/required timesEddie Hung2020-01-271-4/+22
| | |
| * | Fix typoEddie Hung2020-01-271-1/+1
| | |
| * | Merge branch 'eddie/abc9_refactor' into eddie/abc9_requiredEddie Hung2020-01-2726-246/+537
| |\ \
| * \ \ Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-153-3/+16
| |\ \ \ | | | | | | | | | | | | | | | eddie/abc9_required
| * | | | Update README.md for (* abc9_required *)Eddie Hung2020-01-151-4/+9
| | | | |
| * | | | abc9_ops: -write_box is empty, output a dummy box to prevent ABC errorEddie Hung2020-01-154-4/+4
| | | | |
| * | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-151-1/+2
| |\ \ \ \ | | | | | | | | | | | | | | | | | | eddie/abc9_required
| * | | | | abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *)Eddie Hung2020-01-142-3/+3
| | | | | |
| * | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-142-27/+19
| |\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | eddie/abc9_required
| * | | | | | abc9_ops: -check to check abc9_{arrival,required}Eddie Hung2020-01-141-3/+30
| | | | | | |
| * | | | | | abc9_ops: implement a requireds_cacheEddie Hung2020-01-141-26/+34
| | | | | | |
| * | | | | | abc9_ops: generate flop box ids, add abc9_required to FD* cellsEddie Hung2020-01-143-78/+106
| | | | | | |
| * | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-142-10/+1
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | eddie/abc9_required
| * | | | | | | abc9_ops: fix -reintegrate handling of $__ABC9_DELAYEddie Hung2020-01-141-2/+3
| | | | | | | |
| * | | | | | | abc9_ops: -prep_times -> -prep_delays; add docEddie Hung2020-01-142-11/+23
| | | | | | | |
| * | | | | | | abc9_ops: cleanupEddie Hung2020-01-141-14/+5
| | | | | | | |
| * | | | | | | abc9_ops: discard $__ABC9_DELAY boxesEddie Hung2020-01-141-7/+2
| | | | | | | |
| * | | | | | | write_xaiger: skip if no arrival timesEddie Hung2020-01-141-0/+3
| | | | | | | |
| * | | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-1422-389/+789
| |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | eddie/abc9_required
| * \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-1211-156/+198
| |\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | eddie/abc9_required
| * | | | | | | | | log_debug() for abc9_{arrival,required} timesEddie Hung2020-01-102-1/+15
| | | | | | | | | |
| * | | | | | | | | Add abc9_required to DSP48E1.{A,B,C,D,PCIN}Eddie Hung2020-01-101-38/+117
| | | | | | | | | |
| * | | | | | | | | abc9_ops -prep_times: generate flop boxes from abc9_required attrEddie Hung2020-01-102-78/+67
| | | | | | | | | |
| * | | | | | | | | abc9_ops -prep_times: update commentEddie Hung2020-01-101-3/+4
| | | | | | | | | |
| * | | | | | | | | Add abc9_ops -check, -prep_times, -write_box for required timesEddie Hung2020-01-103-75/+256
| | | | | | | | | |
| * | | | | | | | | abc9_exe: -box to not require -lutEddie Hung2020-01-091-9/+4
| | | | | | | | | |
| * | | | | | | | | write_xaiger: cleanupEddie Hung2020-01-091-17/+15
| | | | | | | | | |
| * | | | | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-091-56/+50
| |\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | eddie/abc9_required
| * | | | | | | | | | write_xaiger: cope with abc9_arrival as string of intsEddie Hung2020-01-091-8/+21
| | | | | | | | | | |
| * | | | | | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-091-8/+4
| |\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | eddie/abc9_required
| * \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-0821-3009/+1975
| |\ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | eddie/abc9_required
| * \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-0691-2459/+3416
| |\ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | xaig_arrival_required
| * | | | | | | | | | | | | write_xaiger: simplify c{i,o}_bitsEddie Hung2019-12-271-12/+6
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | ConsistencyEddie Hung2019-12-271-1/+1
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | Cope with abc9_arrival as stringEddie Hung2019-12-271-6/+15
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | Update some abc9_arrival times, add abc9_required timesEddie Hung2019-12-273-24/+220
| | | | | | | | | | | | | |
* | | | | | | | | | | | | | Add opt_lut_ins pass. (#1673)Marcelina Kościelnicka2020-02-0310-4/+367
| | | | | | | | | | | | | |
* | | | | | | | | | | | | | Merge pull request #1516 from YosysHQ/dave/dotstarDavid Shah2020-02-026-6/+208
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | sv: Add support for wildcard port connections (.*)
| * | | | | | | | | | | | | | Update CHANGELOG and READMEDavid Shah2020-02-022-0/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | | | | | | | | | | | | sv: Improve handling of wildcard port connectionsDavid Shah2020-02-023-7/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | | | | | | | | | | | | sv: More tests for wildcard port connectionsDavid Shah2020-02-021-0/+57
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | | | | | | | | | | | | hierarchy: Correct handling of wildcard port connections with default valuesDavid Shah2020-02-022-7/+25
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | | | | | | | | | | | | sv: Add tests for wildcard port connectionsDavid Shah2020-02-021-0/+56
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | | | | | | | | | | | | hierarchy: Resolve SV wildcard port connectionsDavid Shah2020-02-022-4/+63
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | | | | | | | | | | | | sv: Add lexing and parsing of .* (wildcard port conns)David Shah2020-02-022-1/+6
|/ / / / / / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | | | | | | | | | | | | Merge pull request #1647 from YosysHQ/dave/sprintfDavid Shah2020-02-023-93/+122
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ast: Add support for $sformatf system function