aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | Merge pull request #3 from YosysHQ/Sergey/tests_ice40Sergey2019-08-2918-243/+271
| |\ \ \ | | | | | | | | | | Merge my changes to tests_ice40 branch
| | * | | Comment out *.sh used for testbenches as we have no moreEddie Hung2019-08-281-8/+8
| | | | |
| | * | | Use equiv for memory and dpramEddie Hung2019-08-284-168/+2
| | | | |
| | * | | Use equiv_opt for latchesEddie Hung2019-08-282-58/+10
| | | | |
| | * | | Merge remote-tracking branch 'origin/clifford/async2synclatch' into ↵Eddie Hung2019-08-2811-9/+251
| | |\ \ \ | | | | |/ | | | |/| | | | | | Sergey/tests_ice40
| * | / | Add comments for examples from Lattice user guideSergeyDegtyar2019-08-293-0/+9
| |/ / /
| * | | Revert "Add tests for ecp5"SergeyDegtyar2019-08-2830-862/+0
| | | | | | | | | | | | | | | | This reverts commit 2270ead09fb4695442c66fe5c06445235f390f2b.
| * | | Add tests for ecp5SergeyDegtyar2019-08-2830-0/+862
| | | |
| * | | Revert "Add tests for ecp5 architecture."SergeyDegtyar2019-08-2730-864/+0
| | | | | | | | | | | | | | | | This reverts commit 134d3fea909bae02f4f814e3d649658502b44b73.
| * | | Add tests for ecp5 architecture.SergeyDegtyar2019-08-2730-0/+864
| | | |
| * | | 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
| | | |
| * | | 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
| | | |
| * | | 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-2027-0/+900
| | | |
* | | | Merge remote-tracking branch 'origin/master' into eddie/xilinx_srlEddie Hung2019-08-302-0/+46
|\ \ \ \ | | |_|/ | |/| |
| * | | Add run-test.sh tooEddie Hung2019-08-281-0/+20
| | | |
| * | | Add SB_CARRY to ice40_opt testEddie Hung2019-08-281-3/+5
| | | |
| * | | Add ice40_opt testEddie Hung2019-08-281-0/+24
| | |/ | |/|
* | | Add .gitignoreEddie Hung2019-08-281-0/+3
| | |
* | | Use test_pmgen for xilinx_srlEddie Hung2019-08-281-0/+57
| | |
* | | Do not simplemap for variable testEddie Hung2019-08-281-2/+2
| | |
* | | Add xilinx_srl testEddie Hung2019-08-283-0/+127
| | |
* | | Merge remote-tracking branch 'origin/master' into eddie/xilinx_srlEddie Hung2019-08-284-8/+121
|\| |
| * | Merge pull request #1325 from YosysHQ/eddie/sat_initClifford Wolf2019-08-281-1/+7
| |\ \ | | | | | | | | In sat: 'x' in init attr should be ignored
| | * | Revert to using cleanEddie Hung2019-08-271-1/+1
| | | |
| | * | Wire with init on FF part, 1'bx on non-FF partEddie Hung2019-08-241-1/+3
| | | |
| | * | Blocking assignmentEddie Hung2019-08-231-1/+1
| | | |
| | * | In sat: 'x' in init attr should not override constantEddie Hung2019-08-222-1/+5
| | | |
| * | | improve clkbuf_inhibit propagation upwards through hierarchyMarcin Kościelnicki2019-08-271-5/+33
| | | |
| * | | Improve tests to check that clkbuf is connected to expectedEddie Hung2019-08-261-6/+21
| | | |
| * | | Check clkbuf_inhibit=1 is ignored for custom selectionEddie Hung2019-08-231-0/+1
| | | |
| * | | Add simple clkbufmap testsEddie Hung2019-08-231-0/+52
| | | |
| * | | tests/techmap/run-test.sh to cope with *.ysEddie Hung2019-08-232-7/+18
| | | |
* | | | Revert "In sat: 'x' in init attr should not override constant"Eddie Hung2019-08-262-5/+1
| | | | | | | | | | | | | | | | This reverts commit 2b37a093e95036b267481b2dae2046278eef4040.