aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Update ABCMiodrag Milanovic2022-03-041-1/+1
* Update documentationMiodrag Milanovic2022-03-041-1/+96
* Merge pull request #3219 from YosysHQ/micko/quick_vcdMiodrag Milanović2022-03-043-0/+21
|\
| * VCD reader support by using external toolMiodrag Milanovic2022-02-283-0/+21
* | Merge pull request #3220 from YosysHQ/claire/simstuffMiodrag Milanović2022-03-041-141/+301
|\ \
| * | 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
| * | Merge pull request #3224 from YosysHQ/micko/refactorClaire Xen2022-03-021-213/+254
| |\ \
| | * | 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
* | | Bump versiongithub-actions[bot]2022-03-031-1/+1
* | | Update CHANGELOGMiodrag Milanovic2022-03-021-0/+12
* | | Bump versiongithub-actions[bot]2022-03-011-1/+1
| |/ |/|
* | Merge pull request #3216 from YosysHQ/claire/simstuffMiodrag Milanović2022-02-282-42/+64
|\|
| * Support extended aiw formatMiodrag Milanovic2022-02-271-23/+44
| * Fix for last clock edge dataMiodrag Milanovic2022-02-252-3/+2
| * Experimental sim changesClaire Xenia Wolf2022-02-251-20/+22
|/
* Bump versiongithub-actions[bot]2022-02-251-1/+1
* gowin: Remove unnecessary attributesYRabbit2022-02-241-5/+0
* gowin: Add support for true differential outputYRabbit2022-02-241-0/+11
* Merge pull request #3211 from YosysHQ/micko/witnessClaire Xen2022-02-222-2/+97
|\
| * Fix cycle 0 in aiger witness co-simulationClaire Xenia Wolf2022-02-181-12/+15
| * Changed error messageMiodrag Milanovic2022-02-181-1/+1
| * Added AIGER witness file co simulationMiodrag Milanovic2022-02-181-1/+93
* | Merge pull request #3197 from YosysHQ/claire/smtbmcfixClaire Xen2022-02-221-1/+4
|\ \
| * | Add a bit of flexibilty re trace length when processing aiger witnesses in sm...Claire Xenia Wolf2022-02-111-1/+4
* | | Bump versiongithub-actions[bot]2022-02-221-1/+1
* | | Merge pull request #3203 from YosysHQ/micko/sim_ffMiodrag Milanović2022-02-2145-172/+1170
|\ \ \
| * | | 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
| * | test dlatchsr and adlatchMiodrag Milanovic2022-02-164-4/+94
| * | Added test casesMiodrag Milanovic2022-02-1639-0/+897
| * | Add support for various ff/latch cells simulationMiodrag Milanovic2022-02-163-169/+258
* | | ecp5: Do not use specify in generate in cells_sim.v.Marcelina Kościelnicka2022-02-211-28/+15
|/ /
* | Bump versiongithub-actions[bot]2022-02-161-1/+1
* | Merge pull request #3204 from YosysHQ/claire/update-abcMiodrag Milanović2022-02-151-1/+1
|\ \
| * | Bump ABC versionMiodrag Milanovic2022-02-151-1/+1
|/ /
* | Bump versiongithub-actions[bot]2022-02-151-1/+1
* | verilog: support for time scale delay valuesZachary Snow2022-02-144-4/+42
* | Fix access to whole sub-structs (#3086)Kamil Rakoczy2022-02-147-11/+72
* | 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
|\ \ | |/ |/|