aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat
Commit message (Expand)AuthorAgeFilesLines
* past_ad initial value settingMiodrag Milanovic2022-04-021-0/+3
* setInitState can be only one altering valuesMiodrag Milanovic2022-04-021-4/+6
* Set past_d value for init stateMiodrag Milanovic2022-04-021-0/+2
* Set init values for wrapped async control signalsMiodrag Milanovic2022-04-011-0/+2
* Support memories in aiw and multiclockMiodrag Milanovic2022-03-311-16/+86
* 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
* Added fst2tb pass for generating testbenchMiodrag Milanovic2022-03-141-0/+319
* 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 infoMiodrag Milanovic2022-03-111-7/+20
* | Add "sim -q" optionClaire Xenia Wolf2022-03-111-8/+19
|/
* Small fix in "sim" help messageClaire Xenia Wolf2022-03-111-1/+1
* 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 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
* | Hotfix in AIGER witness reader state machineClaire Xenia Wolf2022-02-281-0/+1
|/
* 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
|\
| * Fix cycle 0 in aiger witness co-simulationClaire Xenia Wolf2022-02-181-12/+15
| * 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-1114-88/+534
|\
| * Merge pull request #3185 from YosysHQ/micko/co_simMiodrag Milanović2022-02-071-21/+430
| |\
| | * 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 15:22:20 +0000