aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Proper SigBit forming in simMiodrag Milanovic2022-03-221-4/+4
|
* Proper SigBit forming in simMiodrag Milanovic2022-03-221-4/+4
|
* More verbose warningsMiodrag Milanovic2022-03-181-5/+7
|
* Recognize registers and set initial state for them in tbMiodrag Milanovic2022-03-161-6/+32
|
* Update sim help message.Miodrag Milanovic2022-03-161-1/+2
|
* Merge pull request #3232 from YosysHQ/micko/fst2tbMiodrag Milanović2022-03-141-0/+319
|\ | | | | Added fst2tb pass for generating testbench
| * Added fst2tb pass for generating testbenchMiodrag Milanovic2022-03-141-0/+319
| |
* | Merge pull request #3213 from antonblanchard/abc-typoClaire Xen2022-03-141-2/+2
|\ \ | |/ |/| abc: Fix {I} and {P} substitution
| * abc: Fix {I} and {P} substitutionAnton Blanchard2022-02-231-2/+2
| | | | | | | | We were searching for {D} after the first match of {I} or {P}.
* | Merge pull request #3229 from YosysHQ/micko/sim_dateMiodrag Milanović2022-03-111-7/+20
|\ \ | | | | | | Add date parameter to enable full date/time and version info
| * | Add date parameter to enable full date/time and version infoMiodrag Milanovic2022-03-111-7/+20
| | |
* | | Add "sim -q" optionClaire Xenia Wolf2022-03-111-8/+19
|/ / | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | Small fix in "sim" help messageClaire Xenia Wolf2022-03-111-1/+1
| | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | FstData already do conversion to VCDMiodrag Milanovic2022-03-111-1/+2
| |
* | Support cell name in btor witness fileMiodrag Milanovic2022-03-111-5/+14
| |
* | Proper write of memory dataMiodrag Milanovic2022-03-111-14/+13
| |
* | Start work on memory initMiodrag Milanovic2022-03-091-9/+34
| |
* | Fixes and error checkMiodrag Milanovic2022-03-091-1/+5
| |
* | cleanupMiodrag Milanovic2022-03-071-1/+2
| |
* | Error checks for aiger witnessMiodrag Milanovic2022-03-071-0/+7
| |
* | btor2 witness co-simulationMiodrag Milanovic2022-03-071-8/+123
| |
* | Merge pull request #3219 from YosysHQ/micko/quick_vcdMiodrag Milanović2022-03-041-0/+1
|\ \ | | | | | | VCD reader support by using external tool
| * | VCD reader support by using external toolMiodrag Milanovic2022-02-281-0/+1
| | |
* | | Add option to ignore X only signals in outputMiodrag Milanovic2022-03-021-8/+32
| | |
* | | Write simulation files after simulation is performedMiodrag Milanovic2022-03-021-145/+151
| | |
* | | CleanupMiodrag Milanovic2022-03-021-10/+7
| | |
* | | Refactor sim output writersMiodrag Milanovic2022-02-281-213/+257
| | |
* | | Quick fixMiodrag Milanovic2022-02-281-0/+2
| | |
* | | Add writing of aiw files to "sim" commandClaire Xenia Wolf2022-02-281-1/+87
| | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | | Hotfix in AIGER witness reader state machineClaire Xenia Wolf2022-02-281-0/+1
|/ / | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | Support extended aiw formatMiodrag Milanovic2022-02-271-23/+44
| |
* | Fix for last clock edge dataMiodrag Milanovic2022-02-251-3/+1
| |
* | Experimental sim changesClaire Xenia Wolf2022-02-251-20/+22
|/
* Merge pull request #3211 from YosysHQ/micko/witnessClaire Xen2022-02-221-1/+96
|\ | | | | Add support for AIGER witness files in "sim" command
| * Fix cycle 0 in aiger witness co-simulationClaire Xenia Wolf2022-02-181-12/+15
| | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
| * Added AIGER witness file co simulationMiodrag Milanovic2022-02-181-1/+93
| |
* | Fix handling of ce_over_srstMiodrag Milanovic2022-02-211-3/+2
|/
* 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.
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-24 20:36:03 +0000