Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-14 | 2 | -10/+1 | |
| |\ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | abc9_ops: fix -reintegrate handling of $__ABC9_DELAY | Eddie Hung | 2020-01-14 | 1 | -2/+3 | |
| * | | | | | | | | | | abc9_ops: -prep_times -> -prep_delays; add doc | Eddie Hung | 2020-01-14 | 2 | -11/+23 | |
| * | | | | | | | | | | abc9_ops: cleanup | Eddie Hung | 2020-01-14 | 1 | -14/+5 | |
| * | | | | | | | | | | abc9_ops: discard $__ABC9_DELAY boxes | Eddie Hung | 2020-01-14 | 1 | -7/+2 | |
| * | | | | | | | | | | write_xaiger: skip if no arrival times | Eddie Hung | 2020-01-14 | 1 | -0/+3 | |
| * | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-14 | 22 | -389/+789 | |
| |\ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-12 | 11 | -156/+198 | |
| |\ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | log_debug() for abc9_{arrival,required} times | Eddie Hung | 2020-01-10 | 2 | -1/+15 | |
| * | | | | | | | | | | | | Add abc9_required to DSP48E1.{A,B,C,D,PCIN} | Eddie Hung | 2020-01-10 | 1 | -38/+117 | |
| * | | | | | | | | | | | | abc9_ops -prep_times: generate flop boxes from abc9_required attr | Eddie Hung | 2020-01-10 | 2 | -78/+67 | |
| * | | | | | | | | | | | | abc9_ops -prep_times: update comment | Eddie Hung | 2020-01-10 | 1 | -3/+4 | |
| * | | | | | | | | | | | | Add abc9_ops -check, -prep_times, -write_box for required times | Eddie Hung | 2020-01-10 | 3 | -75/+256 | |
| * | | | | | | | | | | | | abc9_exe: -box to not require -lut | Eddie Hung | 2020-01-09 | 1 | -9/+4 | |
| * | | | | | | | | | | | | write_xaiger: cleanup | Eddie Hung | 2020-01-09 | 1 | -17/+15 | |
| * | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-09 | 1 | -56/+50 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | write_xaiger: cope with abc9_arrival as string of ints | Eddie Hung | 2020-01-09 | 1 | -8/+21 | |
| * | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-09 | 1 | -8/+4 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-08 | 21 | -3009/+1975 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into xaig_arrival_r... | Eddie Hung | 2020-01-06 | 91 | -2459/+3416 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | write_xaiger: simplify c{i,o}_bits | Eddie Hung | 2019-12-27 | 1 | -12/+6 | |
| * | | | | | | | | | | | | | | | | Consistency | Eddie Hung | 2019-12-27 | 1 | -1/+1 | |
| * | | | | | | | | | | | | | | | | Cope with abc9_arrival as string | Eddie Hung | 2019-12-27 | 1 | -6/+15 | |
| * | | | | | | | | | | | | | | | | Update some abc9_arrival times, add abc9_required times | Eddie Hung | 2019-12-27 | 3 | -24/+220 | |
* | | | | | | | | | | | | | | | | | Add opt_lut_ins pass. (#1673) | Marcelina Kościelnicka | 2020-02-03 | 10 | -4/+367 | |
* | | | | | | | | | | | | | | | | | Merge pull request #1516 from YosysHQ/dave/dotstar | David Shah | 2020-02-02 | 6 | -6/+208 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | Update CHANGELOG and README | David Shah | 2020-02-02 | 2 | -0/+5 | |
| * | | | | | | | | | | | | | | | | | sv: Improve handling of wildcard port connections | David Shah | 2020-02-02 | 3 | -7/+9 | |
| * | | | | | | | | | | | | | | | | | sv: More tests for wildcard port connections | David Shah | 2020-02-02 | 1 | -0/+57 | |
| * | | | | | | | | | | | | | | | | | hierarchy: Correct handling of wildcard port connections with default values | David Shah | 2020-02-02 | 2 | -7/+25 | |
| * | | | | | | | | | | | | | | | | | sv: Add tests for wildcard port connections | David Shah | 2020-02-02 | 1 | -0/+56 | |
| * | | | | | | | | | | | | | | | | | hierarchy: Resolve SV wildcard port connections | David Shah | 2020-02-02 | 2 | -4/+63 | |
| * | | | | | | | | | | | | | | | | | sv: Add lexing and parsing of .* (wildcard port conns) | David Shah | 2020-02-02 | 2 | -1/+6 | |
|/ / / / / / / / / / / / / / / / / | ||||||
* | | | | | | | | | | | | | | | | | Merge pull request #1647 from YosysHQ/dave/sprintf | David Shah | 2020-02-02 | 3 | -93/+122 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | ast: Add support for $sformatf system function | David Shah | 2020-01-19 | 3 | -93/+122 | |
* | | | | | | | | | | | | | | | | | | Merge pull request #1657 from YosysHQ/dave/xilinx-dsp-multonly | David Shah | 2020-02-02 | 1 | -0/+7 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | xilinx_dsp: Add multonly scratchpad var to bypass | David Shah | 2020-02-01 | 1 | -0/+7 | |
| |/ / / / / / / / / / / / / / / / / | ||||||
* | | | | | | | | | | | | | | | | | | xilinx: use RAM32M/RAM64M for memories with two read ports | Marcin Kościelnicki | 2020-02-02 | 1 | -2/+2 | |
* | | | | | | | | | | | | | | | | | | json: remove the 32-bit parameter special case | Marcin Kościelnicki | 2020-02-01 | 1 | -10/+28 | |
* | | | | | | | | | | | | | | | | | | Merge pull request #1668 from gsomlo/gls-abc9-external | Eddie Hung | 2020-01-31 | 1 | -0/+1 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | abc9: restore ability to use ABCEXTERNAL | Gabriel Somlo | 2020-01-30 | 1 | -0/+1 | |
|/ / / / / / / / / / / / / / / / / / | ||||||
* | | | | | | | | | | | | | | | | | | Merge pull request #1667 from YosysHQ/clifford/verificnand | Claire Wolf | 2020-01-30 | 1 | -0/+8 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | Add Verific support for OPER_REDUCE_NAND | Claire Wolf | 2020-01-30 | 1 | -0/+8 | |
* | | | | | | | | | | | | | | | | | | | Merge pull request #1503 from YosysHQ/eddie/verific_help | Claire Wolf | 2020-01-30 | 1 | -8/+8 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/master' into eddie/verific_help | Eddie Hung | 2020-01-27 | 208 | -4938/+10113 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | verific: no help() when no YOSYS_ENABLE_VERIFIC | Eddie Hung | 2020-01-27 | 1 | -4/+1 | |
| * | | | | | | | | | | | | | | | | | | | | Oops | Eddie Hung | 2019-11-19 | 1 | -1/+1 | |
| * | | | | | | | | | | | | | | | | | | | | Print help message for verific pass | Eddie Hung | 2019-11-19 | 1 | -9/+12 | |
* | | | | | | | | | | | | | | | | | | | | | Merge pull request #1654 from YosysHQ/eddie/sby_fix69 | Claire Wolf | 2020-01-30 | 1 | -0/+6 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | verific: also unflatten for 'hierarchy' flow as per @cliffordwolf | Eddie Hung | 2020-01-27 | 1 | -0/+3 |