| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | glift: Use worker pattern. | Alberto Gonzalez | 2020-07-01 | 1 | -80/+75 |
| | | |||||
| * | glift: Add support for $_NAND_ and $_NOR_ cells. | Alberto Gonzalez | 2020-07-01 | 1 | -8/+11 |
| | | |||||
| * | glift: Add support for $_MUX_ and $_NMUX_ cells. | Alberto Gonzalez | 2020-07-01 | 1 | -1/+34 |
| | | |||||
| * | glift: Add support for $_XOR_ and $_XNOR_ cells. | Alberto Gonzalez | 2020-07-01 | 1 | -15/+79 |
| | | |||||
| * | glift: Add initial hierarchy support. | Alberto Gonzalez | 2020-07-01 | 1 | -12/+59 |
| | | |||||
| * | glift: Replace `YS_OVERRIDE` with `override`. | Alberto Gonzalez | 2020-07-01 | 1 | -2/+2 |
| | | |||||
| * | glift: Add CODEOWNERS entry. | Alberto Gonzalez | 2020-07-01 | 1 | -0/+1 |
| | | |||||
| * | glift: Add `-simple-cost-model` option | Alberto Gonzalez | 2020-07-01 | 1 | -20/+45 |
| | | | | | | | | | Rather than assigning specific weights to specific versions of taint tracking logic and summing the weights of all GLIFT cells, sum the following values for each GLIFT cell: - 0 if the associated hole/$anyconst cell value is non-zero, i.e. reduced-precision taint tracking logic is chosen at this cell - 1 if the associated hole/$anyconst cell value is zero, i.e. the full-precision taint tracking logic is chosen at this cell This simplified cost modeling reduces the potential for the QBF-SAT solver to minimize taint tracking logic area but significantly simplifies the QBF-SAT problem. | ||||
| * | glift: Use `qbfsat -O2` instead of manually calling `abc`. | Alberto Gonzalez | 2020-07-01 | 8 | -40/+8 |
| | | |||||
| * | glift: Add `-instrument-more` option to add 4 more versions of taint ↵ | Alberto Gonzalez | 2020-07-01 | 1 | -44/+124 |
| | | | | | tracking logic. Also refactor a bit and update help text. | ||||
| * | glift: Change command names to better represent their functions. | Alberto Gonzalez | 2020-07-01 | 10 | -49/+49 |
| | | |||||
| * | glift: Add `-create-imprecise` command, rename other commands, and re-work ↵ | Alberto Gonzalez | 2020-07-01 | 10 | -40/+67 |
| | | | | | the help text. | ||||
| * | glift: Add examples, including a number of benchmarks used in some academic ↵ | Alberto Gonzalez | 2020-07-01 | 18 | -1/+7279 |
| | | | | | works. | ||||
| * | glift: Add replacement scoring and area minimization option. | Alberto Gonzalez | 2020-07-01 | 1 | -3/+56 |
| | | |||||
| * | glift: Remove outputs by default; add `-keep-outputs` option; properly reset ↵ | Alberto Gonzalez | 2020-07-01 | 1 | -12/+43 |
| | | | | | internal state between calls. | ||||
| * | glift: Initial implementation of the `-sketchify` option. | Alberto Gonzalez | 2020-07-01 | 1 | -50/+71 |
| | | |||||
| * | glift: Initial implementation of GLIFT model construction. | Alberto Gonzalez | 2020-07-01 | 1 | -2/+173 |
| | | |||||
| * | glift: Add skeleton for `glift` command. | Alberto Gonzalez | 2020-07-01 | 2 | -0/+51 |
| | | |||||
| * | Merge pull request #2203 from antmicro/fix-grammar | clairexen | 2020-07-01 | 2 | -4/+38 |
| |\ | | | | | Signed and macro grammar update | ||||
| | * | Add signed/unsigned tests | Kamil Rakoczy | 2020-06-26 | 1 | -0/+28 |
| | | | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com> | ||||
| | * | Parse macro call attached semicolon as empty expression | Lukasz Dalek | 2020-06-26 | 1 | -1/+1 |
| | | | | | | | | | Signed-off-by: Lukasz Dalek <ldalek@antmicro.com> | ||||
| | * | Fix integer signing grammar | Lukasz Dalek | 2020-06-26 | 1 | -3/+9 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit fixes signed/unsigned grammar in parameters as defined in SV LRM A2.2.1. Example of correct parameters: parameter integer signed i = 0; parameter integer unsigned i = 0; Example of incorrect parameters: parameter signed integer i = 0; parameter unsigned integer i = 0; Signed-off-by: Lukasz Dalek <ldalek@antmicro.com> Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com> | ||||
| * | | Merge pull request #2179 from splhack/static-cast | clairexen | 2020-07-01 | 11 | -0/+135 |
| |\ \ | | | | | | | Support SystemVerilog Static Cast | ||||
| | * | | static cast: simplify | Kazuki Sakamoto | 2020-06-19 | 1 | -0/+7 |
| | | | | |||||
| | * | | static cast: add tests | Kazuki Sakamoto | 2020-06-19 | 5 | -0/+80 |
| | | | | |||||
| | * | | static cast: support changing size and signedness | Kazuki Sakamoto | 2020-06-19 | 6 | -0/+48 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Support SystemVerilog Static Cast - size - signedness - (type is not supposted yet) Fix #535 | ||||
| * | | | Merge pull request #2138 from boqwxp/qbfsat-oflag | clairexen | 2020-07-01 | 1 | -16/+47 |
| |\ \ \ | | | | | | | | | qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC | ||||
| | * | | | qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC. | Alberto Gonzalez | 2020-06-30 | 1 | -16/+47 |
| | | | | | | | | | | | | | | | | | | | | | | | | | Thanks to @mwk for the gate mapping part of the ABC scripts. Co-Authored-By: Marcelina Kościelnicka <mwk@0x04.net> | ||||
| * | | | | Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization | clairexen | 2020-07-01 | 1 | -2/+24 |
| |\ \ \ \ | | | | | | | | | | | qbfsat: Fix name-based hole specialization | ||||
| | * | | | | qbfsat: Fix name-based hole specialization. | Alberto Gonzalez | 2020-06-30 | 1 | -2/+24 |
| | |/ / / | | | | | | | | | | | | | Look for unique connections in the containing module with the $anyconst port Y SigBit on the RHS and use those. If no such connection is found, fall back to using the name of the $anyconst port Y SigBit. | ||||
| * | | | | Merge pull request #2136 from zachjs/master | clairexen | 2020-06-30 | 3 | -1/+81 |
| |\ \ \ \ | | | | | | | | | | | Allow constant function calls in for loops and generate if and case | ||||
| | * | | | | Allow constant function calls in for loops and generate if and case | Zachary Snow | 2020-06-29 | 3 | -1/+81 |
| | |/ / / | |||||
| * | | | | Merge pull request #2199 from YosysHQ/mmicko/sim_memory | clairexen | 2020-06-30 | 1 | -1/+4 |
| |\ \ \ \ | | | | | | | | | | | sim - error when memrd and memwr detected | ||||
| | * | | | | sim - error when memrd and memwr detected | Miodrag Milanovic | 2020-06-29 | 1 | -1/+4 |
| | | | | | | |||||
| * | | | | | Merge pull request #2201 from YosysHQ/fix_test_cell_ilang | clairexen | 2020-06-30 | 1 | -2/+2 |
| |\ \ \ \ \ | | | | | | | | | | | | | Use ID macro to fix assertion | ||||
| | * | | | | | Use ID macro to fix assertion | Miodrag Milanovic | 2020-06-29 | 1 | -2/+2 |
| | |/ / / / | |||||
| * | | | | | Merge pull request #2209 from YosysHQ/verific_update | clairexen | 2020-06-30 | 1 | -1/+1 |
| |\ \ \ \ \ | | | | | | | | | | | | | Update verific API version check | ||||
| | * | | | | | Update verific API version check | Miodrag Milanovic | 2020-06-30 | 1 | -1/+1 |
| | | | | | | | |||||
| * | | | | | | simcells: Fix reset polarity for $_DLATCH_???_ cells. | Marcelina Kościelnicka | 2020-06-30 | 2 | -5/+5 |
| |/ / / / / | |||||
| * | | | | | Merge pull request #2205 from whitequark/fix-2204 | whitequark | 2020-06-30 | 1 | -2/+3 |
| |\ \ \ \ \ | |_|/ / / |/| | | | | techmap: don't drop attributes on replaced cells | ||||
| | * | | | | techmap: don't drop attributes on replaced cells. | whitequark | 2020-06-29 | 1 | -2/+3 |
| |/ / / / | | | | | | | | | | | | | | | | | | | | | This was introduced in 76c4ee4ea5cb6a3dc214f66237af22a1bedda010. Fixes #2204. | ||||
| * | | | | Merge pull request #2200 from YosysHQ/mmicko/fix_expose | Miodrag Milanović | 2020-06-29 | 1 | -7/+23 |
| |\ \ \ \ | | | | | | | | | | | expose pass fix | ||||
| | * | | | | Give error that options are exclusive | Miodrag Milanovic | 2020-06-29 | 1 | -2/+6 |
| | | | | | | |||||
| | * | | | | cleanup | Miodrag Milanovic | 2020-06-29 | 1 | -12/+13 |
| | | | | | | |||||
| | * | | | | expose pass fix | Miodrag Milanovic | 2020-06-29 | 1 | -5/+16 |
| | |/ / / | |||||
| * | | | | Merge pull request #2197 from Xiretza/test_cell-shifts | whitequark | 2020-06-29 | 1 | -0/+4 |
| |\ \ \ \ | |/ / / |/| | | | test_cell: don't generate directional shifts with \B_SIGNED=1 | ||||
| | * | | | test_cell: don't generate directional shifts with \B_SIGNED=1 | Xiretza | 2020-06-28 | 1 | -0/+4 |
| |/ / / | | | | | | | | | | | | | This was made an explicit error in e97e33d, "kernel: require \B_SIGNED=0 on $shl, $sshl, $shr, $sshr.". | ||||
| * | | | Fix crash in verific frontend | Miodrag Milanovic | 2020-06-26 | 1 | -1/+2 |
| | | | | |||||
| * | | | Merge pull request #2193 from whitequark/cxxrtl-help-text | whitequark | 2020-06-26 | 1 | -2/+2 |
| |\ \ \ | | | | | | | | | cxxrtl: update help text | ||||
| | * | | | cxxrtl: update help text. | whitequark | 2020-06-26 | 1 | -2/+2 |
| |/ / / | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |