aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| | | * | | | | | | | | | Merge branch 'master' into clifford/pmgenClifford Wolf2019-08-2013-39/+85
| | | |\ \ \ \ \ \ \ \ \ \ | | | |/ / / / / / / / / / | | |/| | | | | | | | | |
| | * | | | | | | | | | | Add test case for real parametersClifford Wolf2019-08-201-1/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | | | | | | Merge pull request #1308 from jakobwenzel/real_paramsClifford Wolf2019-08-201-1/+4
| | |\ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | Handle real values when deriving ast modules
| | | * | | | | | | | | | | handle real values when deriving ast modulesJakob Wenzel2019-08-191-1/+4
| | | | | | | | | | | | | |
| | | | * | | | | | | | | | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgenClifford Wolf2019-08-19110-2078/+3173
| | | | |\ \ \ \ \ \ \ \ \ \
| | | | * | | | | | | | | | | Add test for pmtest_test "reduce" demo patternClifford Wolf2019-08-171-0/+21
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Refactor pmgen rollback mechanismClifford Wolf2019-08-171-32/+21
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Improvements in "test_pmgen -generate"Clifford Wolf2019-08-171-3/+23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Add pmgen "fallthrough" statementClifford Wolf2019-08-172-3/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Add help() callEddie Hung2019-08-161-0/+1
| | | | | | | | | | | | | | |
| | | | * | | | | | | | | | | Minor bugfix in "test_pmgen -generate"Clifford Wolf2019-08-161-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Add pmgen finish statement, return number of matchesClifford Wolf2019-08-164-82/+116
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Redesign pmgen backtracking for recursive matchingClifford Wolf2019-08-162-33/+38
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Add pmgen "generate" featureClifford Wolf2019-08-163-13/+208
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Refactor demo_reduce into test_pmgenClifford Wolf2019-08-164-14/+83
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Add doc for pmgen semioptional statement, Add pmgen changes to CHANGELOGClifford Wolf2019-08-152-0/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Update pmgen documentationClifford Wolf2019-08-151-4/+58
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Change pmgen default rule to reject, switch peepopt behavior to acceptClifford Wolf2019-08-155-7/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Add demo_reduce pass to demonstrace recursive pattern matchingClifford Wolf2019-08-154-0/+187
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | | * | | | | | | | | | | Improvements in pmgen for recursive patternsClifford Wolf2019-08-155-26/+137
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | | | | | | | Add comments for examples from Lattice user guideSergeyDegtyar2019-08-293-0/+9
|/ / / / / / / / / / / / / /
* | | | | | | | | | | | | | Revert "Add tests for ecp5"SergeyDegtyar2019-08-2831-863/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 2270ead09fb4695442c66fe5c06445235f390f2b.
* | | | | | | | | | | | | | Add tests for ecp5SergeyDegtyar2019-08-2831-0/+863
| | | | | | | | | | | | | |
* | | | | | | | | | | | | | Revert "Add tests for ecp5 architecture."SergeyDegtyar2019-08-2731-865/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 134d3fea909bae02f4f814e3d649658502b44b73.
* | | | | | | | | | | | | | Add tests for ecp5 architecture.SergeyDegtyar2019-08-2731-0/+865
| | | | | | | | | | | | | |
* | | | | | | | | | | | | | Add tests for macc and rom;SergeyDegtyar2019-08-274-0/+55
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Test cases from https://www.latticesemi.com/-/media/LatticeSemi/Documents/UserManuals/EI/iCEcube201701UserGuide.ashx?document_id=52071; In both cases synthesized only LUTs and DFFs.
* | | | | | | | | | | | | | Fix pull requestSergeyDegtyar2019-08-232-7/+9
| | | | | | | | | | | | | |
* | | | | | | | | | | | | | Fix run-test.sh; Add new test for dpram.SergeyDegtyar2019-08-234-1/+120
| | | | | | | | | | | | | |
* | | | | | | | | | | | | | Fix path in run-test.shSergeyDegtyar2019-08-231-3/+3
| | | | | | | | | | | | | |
* | | | | | | | | | | | | | Merge pull request #1 from YosysHQ/Sergey/tests_ice40Sergey2019-08-2318-138/+91
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | tests_ice40 improvements
| * | | | | | | | | | | | | | Remove adffs_tb.vEddie Hung2019-08-221-75/+0
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | WIP for equivalency checking memoriesEddie Hung2019-08-221-1/+13
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Do not print OKAYEddie Hung2019-08-222-4/+0
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | SpellingEddie Hung2019-08-221-2/+2
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Fail if iverilog failsEddie Hung2019-08-221-2/+2
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Hide tri-state warning message for nowEddie Hung2019-08-222-1/+2
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Remove unused outputEddie Hung2019-08-221-1/+1
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Fix tribuf testEddie Hung2019-08-221-1/+1
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Fix commentsEddie Hung2019-08-228-10/+11
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Remove tech independent synthesisEddie Hung2019-08-229-16/+20
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Remove dffe instantationEddie Hung2019-08-221-7/+0
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Move $dffe to dffs.{v,ys}Eddie Hung2019-08-224-18/+41
| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Make multiplier wider, do not do tech independent synthEddie Hung2019-08-222-8/+6
|/ / / / / / / / / / / / / /
* | | | | | | | | | | | | | Fix all comments from PRSergeyDegtyar2019-08-2120-160/+465
| | | | | | | | | | | | | |
* | | | | | | | | | | | | | Add temp directorySergeyDegtyar2019-08-211-0/+1
| | | | | | | | | | | | | |
* | | | | | | | | | | | | | Fix tests; Remove simulation;SergeyDegtyar2019-08-2026-519/+33
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Add -map and -assert options for equiv_opt; !!! '-assert' option was commented for the next tests (unproven $equiv cells was found): - dffs; - div_mod; - latches; - mul_pow; - Add design -load; - Remove simulations;
* | | | | | | | | | | | | | Add new tests for ice40 architectureSergeyDegtyar2019-08-2028-0/+901
|/ / / / / / / / / / / / /
* | | | | | | | | | | | | Merge pull request #1309 from whitequark/proc_clean-fix-1268whitequark2019-08-206-2/+37
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|/ / / / / / / |/| | | | | | | | | | | | proc_clean: fix order of switch insertion
| * | | | | | | | | | | | proc_clean: fix order of switch insertion.whitequark2019-08-196-2/+37
| |/ / / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixes #1268.
* | | | | | | | | | | | Fix typoEddie Hung2019-08-191-1/+1
| | | | | | | | | | | |