aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Add macc test, with equiv_opt not currently passingEddie Hung2019-08-302-0/+54
|
* Update test for ffMEddie Hung2019-08-301-2/+2
|
* Add mul_unsigned testEddie Hung2019-08-302-0/+41
|
* Merge pull request #1340 from YosysHQ/eddie/abc_no_cleanEddie Hung2019-08-301-1/+7
|\ | | | | abc9 to not call "clean" at end of run (often called outside)
| * Nicer formattingEddie Hung2019-08-291-1/+7
| |
* | Merge pull request #1310 from SergeyDegtyar/masterEddie Hung2019-08-3036-1/+765
|\ \ | | | | | | Add new tests for ice40 architecture
| * | macc test fixSergeyDegtyar2019-08-301-1/+1
| | |
| * | Fix macc testSergeyDegtyar2019-08-301-1/+1
| | |
| * | div_mod test fixSergeyDegtyar2019-08-301-1/+1
| | |
| * | fix div_mod testSergeyDegtyar2019-08-301-1/+1
| | |
| * | Fix test for counterSergeyDegtyar2019-08-301-1/+1
| | |
| * | Merge branch 'master' into masterSergey2019-08-301-0/+26
| |\ \
| * | | Add new tests.SergeyDegtyar2019-08-3010-0/+200
| | | |
| * | | Remove unnecessary common.v(assertions for testbenches).SergeyDegtyar2019-08-301-47/+0
| | | |
| * | | Remove simulation from run-test.sh (unnecessary paths)SergeyDegtyar2019-08-301-16/+9
| | | |
| * | | Remove simulation from run-test.shSergeyDegtyar2019-08-301-6/+0
| | | |
| * | | 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
| | |/ | |/|