aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | | | | * | | | | | Cleanup and formatingMiodrag Milanovic2019-10-044-2/+4
| | | | | * | | | | | split latches into separate checksMiodrag Milanovic2019-10-042-41/+24
| | | | | * | | | | | check muxes per typeMiodrag Milanovic2019-10-042-42/+37
| | | | | * | | | | | check ff's separatelyMiodrag Milanovic2019-10-042-26/+14
| | | | | * | | | | | Cleanup top modules and not used definesMiodrag Milanovic2019-10-045-44/+5
| | | | | * | | | | | remove alu testMiodrag Milanovic2019-10-042-36/+0
| | | | | * | | | | | Merge branch 'SergeyDegtyar/anlogic' of https://github.com/SergeyDegtyar/yosy...Miodrag Milanovic2019-10-0423-0/+536
| | | | | |\ \ \ \ \ \
| | | | | | * \ \ \ \ \ Merge branch 'master' into SergeyDegtyar/anlogicSergey2019-10-01126-1686/+30035
| | | | | | |\ \ \ \ \ \
| | | | | | * | | | | | | run-test.sh Move $x at end of line.Sergey2019-10-011-1/+1
| | | | | | * | | | | | | Add new tests for Anlogic architectureSergeyDegtyar2019-09-2323-0/+536
| | | | | |/ / / / / / / | | | | |/| | | | | | |
| | | | | | | * | | | | hierarchy - proc reorderMiodrag Milanovic2019-10-186-13/+15
| | | | | | | * | | | | FF should be initialized to 0Miodrag Milanovic2019-10-041-1/+3
| | | | | | | * | | | | Split mux tests per typeMiodrag Milanovic2019-10-042-38/+36
| | | | | | | * | | | | Split latch checkMiodrag Milanovic2019-10-042-45/+24
| | | | | | | * | | | | Add missing latch mappingMiodrag Milanovic2019-10-041-0/+12
| | | | | | | * | | | | split rest od ff'sMiodrag Milanovic2019-10-043-30/+17
| | | | | | | * | | | | Separate check for ff's typesMiodrag Milanovic2019-10-042-47/+48
| | | | | | | * | | | | Cleaned testsMiodrag Milanovic2019-10-045-49/+4
| | | | | | | * | | | | Remove not needed testsMiodrag Milanovic2019-10-046-75/+0
| | | | | | | * | | | | Merge branch 'SergeyDegtyar/efinix' of https://github.com/SergeyDegtyar/yosys...Miodrag Milanovic2019-10-0431-0/+710
| | | | | | |/| | | | | | | | | | |/| | | | | |
| | | | | | | * | | | | run-test.sh Move $x at end of line.Sergey2019-10-011-1/+1
| | | | | | | * | | | | Merge branch 'master' into SergeyDegtyar/efinixSergey2019-10-01126-1686/+30035
| | | | | | | |\ \ \ \ \ | | | | | | | |/ / / / / | | | | | | |/| | | | |
| | | | | | | * | | | | Add new tests for Efinix architecture.SergeyDegtyar2019-09-2331-0/+710
| | | | | |_|/ / / / / | | | | |/| | | | | |
* | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-0814-138/+539
|\| | | | | | | | | |
| * | | | | | | | | | Revert "Add test that is expecting to fail"Eddie Hung2019-10-081-20/+0
| * | | | | | | | | | Revert "Be mindful that sigmap(wire) could have dupes when checking \init"Eddie Hung2019-10-081-4/+1
| * | | | | | | | | | Merge pull request #1432 from YosysHQ/eddie/fix1427Eddie Hung2019-10-084-50/+145
| |\ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | Use `sat -tempinduct` and comments for why equiv_opt not sufficientEddie Hung2019-10-031-1/+8
| | * | | | | | | | | | Fix broken CI, check reset even for constants, trim rstmuxEddie Hung2019-10-022-25/+28
| | * | | | | | | | | | Fix testEddie Hung2019-10-021-2/+12
| | * | | | | | | | | | Merge branch 'eddie/fix_sat_init' into eddie/fix1427Eddie Hung2019-10-022-1/+24
| | |\ \ \ \ \ \ \ \ \ \
| | | * | | | | | | | | | Be mindful that sigmap(wire) could have dupes when checking \initEddie Hung2019-10-021-1/+4
| | | * | | | | | | | | | Add test that is expecting to failEddie Hung2019-10-021-0/+20
| | * | | | | | | | | | | Update testEddie Hung2019-10-021-13/+3
| | * | | | | | | | | | | Refactor peepopt_dffmux and be sensitive to \init when trimmingEddie Hung2019-10-021-32/+63
| | * | | | | | | | | | | Add testEddie Hung2019-10-021-0/+31
| * | | | | | | | | | | | Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2syncEddie Hung2019-10-083-13/+19
| |\ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | Add -async2sync to help text as per @daveshah1Eddie Hung2019-10-041-1/+4
| | * | | | | | | | | | | | Restore part of docEddie Hung2019-10-031-1/+2
| | * | | | | | | | | | | | Disable equiv check for ice40 latchesEddie Hung2019-10-031-6/+3
| | * | | | | | | | | | | | Add new -async2sync optionEddie Hung2019-10-031-1/+11
| | * | | | | | | | | | | | Use equiv_opt -async2sync for xilinxEddie Hung2019-10-031-3/+1
| | * | | | | | | | | | | | Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys"Eddie Hung2019-10-031-2/+0
| | * | | | | | | | | | | | Revert "Update doc for equiv_opt"Eddie Hung2019-10-031-3/+2
| | |/ / / / / / / / / / /
| * | | | | | | | | | | | Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9Eddie Hung2019-10-0834-309/+316
| |\ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into eddie/abc_to_abc9Eddie Hung2019-10-048-185/+33
| | |\ \ \ \ \ \ \ \ \ \ \ \
| * | \ \ \ \ \ \ \ \ \ \ \ \ Merge pull request #1438 from YosysHQ/eddie/xilinx_dsp_commentsEddie Hung2019-10-085-72/+364
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | Missed thisEddie Hung2019-10-051-3/+4
| | * | | | | | | | | | | | | | Add comment on why we have to match for clock-enable/reset muxesEddie Hung2019-10-053-3/+11
| | * | | | | | | | | | | | | | Add note on pattern detectorEddie Hung2019-10-051-3/+7
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-22 03:37:36 +0000