aboutsummaryrefslogtreecommitdiffstats
path: root/tests/ice40
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2syncEddie Hung2019-10-081-6/+3
|\ | | | | async2sync to be called by equiv_opt only when -async2sync given
| * Disable equiv check for ice40 latchesEddie Hung2019-10-031-6/+3
| |
* | Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolfEddie Hung2019-10-051-0/+22
|/
* Merge pull request #1359 from YosysHQ/xc7dspEddie Hung2019-09-292-11/+45
|\ | | | | DSP inference for Xilinx (improved for ice40, initial support for ecp5)
| * Add more complicated macc testcaseEddie Hung2019-09-192-5/+39
| |
| * Format macc.vEddie Hung2019-09-191-8/+8
| |
* | Change order of parameters, to work on other osMiodrag Milanovic2019-09-271-1/+1
| |
* | Merge pull request #1401 from SergeyDegtyar/SergeyDegtyar/ice40Eddie Hung2019-09-252-19/+14
|\ \ | |/ |/| ICE40 tests. adffs test update (equiv_opt -multiclock).
| * Change sync controls to async.SergeyDegtyar2019-09-252-8/+8
| |
| * adffs test update (equiv_opt -multiclock).SergeyDegtyar2019-09-242-18/+13
| |
* | tests: ice40: fix div_mod SB_LUT4 countSean Cross2019-09-101-1/+1
|/ | | | | | | | | This test is failing due to one of the changes present in this patchset. Adjust the test to match the newly-observed values. https://github.com/xobs/yosys/compare/smtbmc-msvc2-build-fixes...YosysHQ:xobs/pr1362 Signed-off-by: Sean Cross <sean@xobs.io>
* Improve tests/ice40/macc.ys for SB_MAC16Eddie Hung2019-08-302-7/+10
|
* 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 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 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-297-234/+20
|\ | | | | 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
| |
* | Add comments for examples from Lattice user guideSergeyDegtyar2019-08-293-0/+9
|/
* 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