aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Added AIGER witness file co simulationMiodrag Milanovic2022-02-181-1/+93
|
* simplify logic of handling flip-flops and latchesMiodrag Milanovic2022-02-181-118/+42
|
* Review cleanupMiodrag Milanovic2022-02-171-6/+5
|
* Add support for various ff/latch cells simulationMiodrag Milanovic2022-02-161-60/+204
|
* Merge branch 'master' into clk2ff-better-namesClaire Xen2022-02-11171-3928/+6702
|\
| * Merge pull request #2019 from boqwxp/gliftClaire Xen2022-02-112-0/+600
| |\ | | | | | | 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 `-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: 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-011-22/+22
| | |
| | * glift: Add `-create-imprecise` command, rename other commands, and re-work ↵Alberto Gonzalez2020-07-011-28/+54
| | | | | | | | | | | | the help text.
| | * 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
| | |
| * | Merge pull request #3185 from YosysHQ/micko/co_simMiodrag Milanović2022-02-071-21/+430
| |\ \ | | | | | | | | Add co-simulation in sim pass
| | * | Error detection for co-simulationMiodrag Milanovic2022-02-041-0/+3
| | | |
| | * | bug fix and cleanupsMiodrag Milanovic2022-02-041-5/+5
| | | |
| | * | 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
| | | |
| | * | Compare bits when not all are definedMiodrag Milanovic2022-01-311-3/+17
| | | |
| | * | CleanupMiodrag Milanovic2022-01-311-2/+2
| | | |
| | * | message updateMiodrag Milanovic2022-01-311-1/+1
| | | |
| | * | Display simulation time dataMiodrag Milanovic2022-01-311-1/+4
| | | |
| | * | Use edges when explicitMiodrag Milanovic2022-01-311-1/+5
| | | |
| | * | Updating initial state and checksMiodrag Milanovic2022-01-311-15/+28
| | | |
| | * | Fix scopeMiodrag Milanovic2022-01-311-1/+1
| | | |
| | * | check if stop before startMiodrag Milanovic2022-01-281-0/+3
| | | |
| | * | set initial state, only flip-flopsMiodrag Milanovic2022-01-281-1/+28
| | | |
| | * | ignore not found private signalsMiodrag Milanovic2022-01-281-0/+3
| | | |
| | * | recursive checkMiodrag Milanovic2022-01-281-26/+34
| | | |
| | * | Do actual compareMiodrag Milanovic2022-01-281-5/+16
| | | |
| | * | Add more options and time handlingMiodrag Milanovic2022-01-281-2/+103
| | | |
| | * | Display values of outputsMiodrag Milanovic2022-01-261-12/+10
| | | |
| | * | Check if stimulatedMiodrag Milanovic2022-01-261-0/+14
| | | |
| | * | Read fst and use data to set inputsMiodrag Milanovic2022-01-261-10/+92
| | | |
| | * | Add ability to write to FST fileMiodrag Milanovic2022-01-261-11/+109
| | | |
| * | | Correct a typo in the manualYRabbit2022-02-021-1/+1
| | | | | | | | | | | | | | | | Signed-off-by: YRabbit <rabbit@yrabbit.cyou>
| * | | Update commentScott Thibault2022-02-021-1/+1
| | | |
| * | | Fix unextend method for signed constantsScott Thibault2022-02-021-2/+1
| | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-29 06:16:19 +0000