aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Fix access to whole sub-structs (#3086)Kamil Rakoczy2022-02-147-11/+72
| | | | | | * Add support for accessing whole struct * Update tests Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* Bump versiongithub-actions[bot]2022-02-131-1/+1
|
* gowin: Add remaining block RAM blackboxes.Marcelina Kościelnicka2022-02-121-72/+527
|
* Bump versiongithub-actions[bot]2022-02-121-1/+1
|
* verilog: fix dynamic dynamic range asgn elabZachary Snow2022-02-114-17/+144
|
* verilog: fix const func eval with upto variablesZachary Snow2022-02-115-3/+99
|
* Merge pull request #2376 from nmoroze/clk2ff-better-namesClaire Xen2022-02-113-9/+40
|\ | | | | clk2fflogic: nice names for autogenerated signals
| * Merge branch 'master' into clk2ff-better-namesClaire Xen2022-02-11757-8621/+49373
| |\
| * | clk2fflogic: nice names for autogenerated signalsNoah Moroze2021-03-023-9/+39
| | |
* | | Merge pull request #3164 from zachjs/fix-ast-warnMiodrag Milanović2022-02-111-1/+1
|\ \ \ | |_|/ |/| | fix dumpAst() compilation warning
| * | fix dumpAst() compilation warningZachary Snow2022-01-181-1/+1
| | |
* | | Merge pull request #2019 from boqwxp/gliftClaire Xen2022-02-1121-1/+7849
|\ \ \ | | | | | | | | Add `glift` command for creating gate-level information flow tracking models and optimization problems
| * | | glift: Use ID() rather than string literals.Alberto Gonzalez2020-07-011-11/+11
| | | |
| * | | glift: Use worker pattern.Alberto Gonzalez2020-07-011-80/+75
| | | |
| * | | glift: Add support for $_NAND_ and $_NOR_ cells.Alberto Gonzalez2020-07-011-8/+11
| | | |
| * | | glift: Add support for $_MUX_ and $_NMUX_ cells.Alberto Gonzalez2020-07-011-1/+34
| | | |
| * | | glift: Add support for $_XOR_ and $_XNOR_ cells.Alberto Gonzalez2020-07-011-15/+79
| | | |
| * | | glift: Add initial hierarchy support.Alberto Gonzalez2020-07-011-12/+59
| | | |
| * | | glift: Replace `YS_OVERRIDE` with `override`.Alberto Gonzalez2020-07-011-2/+2
| | | |
| * | | glift: Add CODEOWNERS entry.Alberto Gonzalez2020-07-011-0/+1
| | | |
| * | | glift: Add `-simple-cost-model` optionAlberto Gonzalez2020-07-011-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 Gonzalez2020-07-018-40/+8
| | | |
| * | | glift: Add `-instrument-more` option to add 4 more versions of taint ↵Alberto Gonzalez2020-07-011-44/+124
| | | | | | | | | | | | | | | | tracking logic. Also refactor a bit and update help text.
| * | | glift: Change command names to better represent their functions.Alberto Gonzalez2020-07-0110-49/+49
| | | |
| * | | glift: Add `-create-imprecise` command, rename other commands, and re-work ↵Alberto Gonzalez2020-07-0110-40/+67
| | | | | | | | | | | | | | | | the help text.
| * | | glift: Add examples, including a number of benchmarks used in some academic ↵Alberto Gonzalez2020-07-0118-1/+7279
| | | | | | | | | | | | | | | | works.
| * | | glift: Add replacement scoring and area minimization option.Alberto Gonzalez2020-07-011-3/+56
| | | |
| * | | glift: Remove outputs by default; add `-keep-outputs` option; properly reset ↵Alberto Gonzalez2020-07-011-12/+43
| | | | | | | | | | | | | | | | internal state between calls.
| * | | glift: Initial implementation of the `-sketchify` option.Alberto Gonzalez2020-07-011-50/+71
| | | |
| * | | glift: Initial implementation of GLIFT model construction.Alberto Gonzalez2020-07-011-2/+173
| | | |
| * | | glift: Add skeleton for `glift` command.Alberto Gonzalez2020-07-012-0/+51
| | | |
* | | | Bump versiongithub-actions[bot]2022-02-101-1/+1
| | | |
* | | | Merge pull request #3193 from YosysHQ/micko/verific_fMiodrag Milanović2022-02-091-2/+44
|\ \ \ \ | | | | | | | | | | Add ability to override verilog mode for verific -f command
| * | | | Add ability to override verilog mode for verific -f commandMiodrag Milanovic2022-02-091-2/+44
| | | | |
* | | | | gowin: Fix LUT RAM inference, add more models.Marcelina Kościelnicka2022-02-093-44/+243
| | | | |
* | | | | ecp5: Fix DPR16X4 sim model.Marcelina Kościelnicka2022-02-091-1/+1
|/ / / /
* | | | Bump versiongithub-actions[bot]2022-02-081-1/+1
| | | |
* | | | Next dev cycleMiodrag Milanovic2022-02-072-2/+5
| | | |
* | | | Release version 0.14Miodrag Milanovic2022-02-072-3/+3
| | | |
* | | | Update CHANGELOG and manualMiodrag Milanovic2022-02-072-3/+73
| | | |
* | | | Merge pull request #3185 from YosysHQ/micko/co_simMiodrag Milanović2022-02-0720-23/+11555
|\ \ \ \ | | | | | | | | | | Add co-simulation in sim pass
| * | | | Error detection for co-simulationMiodrag Milanovic2022-02-042-0/+5
| | | | |
| * | | | bug fix and cleanupsMiodrag Milanovic2022-02-043-8/+8
| | | | |
| * | | | Add test cases for co-simulationMiodrag Milanovic2022-02-027-0/+953
| | | | |
| * | | | Fix Visual Studio buildMiodrag Milanovic2022-02-026-59/+34
| | | | |
| * | | | respect hide_internal flagMiodrag Milanovic2022-02-021-1/+1
| | | | |
| * | | | unify cycles counting and cleanupMiodrag Milanovic2022-02-021-36/+35
| | | | |
| * | | | added stimulus mode and param checkMiodrag Milanovic2022-02-021-5/+31
| | | | |
| * | | | error when no signal foundMiodrag Milanovic2022-01-311-0/+2
| | | | |
| * | | | CleanupMiodrag Milanovic2022-01-311-1/+1
| | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 00:43:42 +0000