| 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 `-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: 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 | 1 | -22/+22 | |
| | | | | | ||||||
| | | * | | glift: Add `-create-imprecise` command, rename other commands, and re-work ↵ | Alberto Gonzalez | 2020-07-01 | 1 | -28/+54 | |
| | | | | | | | | | | | | | | | | | the help text. | |||||
| | | * | | 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 #3185 from YosysHQ/micko/co_sim | Miodrag Milanović | 2022-02-07 | 1 | -21/+430 | |
| | |\ \ \ | | | | | | | | | | | Add co-simulation in sim pass | |||||
| | | * | | | Error detection for co-simulation | Miodrag Milanovic | 2022-02-04 | 1 | -0/+3 | |
| | | | | | | ||||||
| | | * | | | bug fix and cleanups | Miodrag Milanovic | 2022-02-04 | 1 | -5/+5 | |
| | | | | | | ||||||
| | | * | | | respect hide_internal flag | Miodrag Milanovic | 2022-02-02 | 1 | -1/+1 | |
| | | | | | | ||||||
| | | * | | | unify cycles counting and cleanup | Miodrag Milanovic | 2022-02-02 | 1 | -36/+35 | |
| | | | | | | ||||||
| | | * | | | added stimulus mode and param check | Miodrag Milanovic | 2022-02-02 | 1 | -5/+31 | |
| | | | | | | ||||||
| | | * | | | error when no signal found | Miodrag Milanovic | 2022-01-31 | 1 | -0/+2 | |
| | | | | | | ||||||
| | | * | | | Cleanup | Miodrag Milanovic | 2022-01-31 | 1 | -1/+1 | |
| | | | | | | ||||||
| | | * | | | Compare bits when not all are defined | Miodrag Milanovic | 2022-01-31 | 1 | -3/+17 | |
| | | | | | | ||||||
| | | * | | | Cleanup | Miodrag Milanovic | 2022-01-31 | 1 | -2/+2 | |
| | | | | | | ||||||
| | | * | | | message update | Miodrag Milanovic | 2022-01-31 | 1 | -1/+1 | |
| | | | | | | ||||||
| | | * | | | Display simulation time data | Miodrag Milanovic | 2022-01-31 | 1 | -1/+4 | |
| | | | | | | ||||||
| | | * | | | Use edges when explicit | Miodrag Milanovic | 2022-01-31 | 1 | -1/+5 | |
| | | | | | | ||||||
| | | * | | | Updating initial state and checks | Miodrag Milanovic | 2022-01-31 | 1 | -15/+28 | |
| | | | | | | ||||||
| | | * | | | Fix scope | Miodrag Milanovic | 2022-01-31 | 1 | -1/+1 | |
| | | | | | | ||||||
| | | * | | | check if stop before start | Miodrag Milanovic | 2022-01-28 | 1 | -0/+3 | |
| | | | | | | ||||||
| | | * | | | set initial state, only flip-flops | Miodrag Milanovic | 2022-01-28 | 1 | -1/+28 | |
| | | | | | | ||||||
| | | * | | | ignore not found private signals | Miodrag Milanovic | 2022-01-28 | 1 | -0/+3 | |
| | | | | | | ||||||
| | | * | | | recursive check | Miodrag Milanovic | 2022-01-28 | 1 | -26/+34 | |
| | | | | | | ||||||
| | | * | | | Do actual compare | Miodrag Milanovic | 2022-01-28 | 1 | -5/+16 | |
| | | | | | | ||||||
| | | * | | | Add more options and time handling | Miodrag Milanovic | 2022-01-28 | 1 | -2/+103 | |
| | | | | | | ||||||
| | | * | | | Display values of outputs | Miodrag Milanovic | 2022-01-26 | 1 | -12/+10 | |
| | | | | | | ||||||
| | | * | | | Check if stimulated | Miodrag Milanovic | 2022-01-26 | 1 | -0/+14 | |
| | | | | | | ||||||
| | | * | | | Read fst and use data to set inputs | Miodrag Milanovic | 2022-01-26 | 1 | -10/+92 | |
| | | | | | | ||||||
| | | * | | | Add ability to write to FST file | Miodrag Milanovic | 2022-01-26 | 1 | -11/+109 | |
| | | | |/ | | |/| | ||||||
| | * | | | Correct a typo in the manual | YRabbit | 2022-02-02 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | Signed-off-by: YRabbit <rabbit@yrabbit.cyou> | |||||
| | * | | | Update comment | Scott Thibault | 2022-02-02 | 1 | -1/+1 | |
| | | | | | ||||||
| | * | | | Fix unextend method for signed constants | Scott Thibault | 2022-02-02 | 1 | -2/+1 | |
| | | | | | ||||||
| | * | | | opt_reduce: Add $bmux and $demux optimization patterns. | Marcelina Kościelnicka | 2022-01-30 | 1 | -60/+337 | |
| | | | | | ||||||
| | * | | | Add $bmux and $demux cells. | Marcelina Kościelnicka | 2022-01-28 | 8 | -3/+239 | |
| | | | | | ||||||
| | * | | | opt_dff: Don't mutate muxes while ModWalker is active. | Marcelina Kościelnicka | 2022-01-28 | 1 | -98/+112 | |
| | | | | | ||||||
| | * | | | memory_bram: Make use of new mem emulation functions to map more RAMs. | Marcelina Kościelnicka | 2022-01-27 | 1 | -18/+10 | |
| | |/ / | ||||||
| | * | | opt_dff: fix sequence point copy paste bug | Austin Seipp | 2022-01-04 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Newer GCCs emit the following warning for opt_dff: passes/opt/opt_dff.cc:560:17: warning: operation on ‘ff.Yosys::FfData::has_clk’ may be undefined [-Wsequence-point] 560 | ff.has_clk = ff.has_ce = ff.has_clk = false; | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Which is correct: the order of whether the read or write of has_clk occurs first is undefined since there is no sequence point between them. This is almost certainly just a typo/copy paste error and objectively wrong, so just fix it. Signed-off-by: Austin Seipp <aseipp@pobox.com> | |||||
| | * | | memory_share: Fix SAT-based sharing for wide ports. | Marcelina Kościelnicka | 2021-12-20 | 1 | -1/+3 | |
| | | | | | | | | | | | | | Fixes #3117. | |||||
| | * | | bugpoint: avoid infinite loop between -connections and -wires. | Catherine | 2021-12-15 | 1 | -1/+1 | |
| | | | | | | | | | | | | | Fixes #3113. | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |