Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add macc test, with equiv_opt not currently passing | Eddie Hung | 2019-08-30 | 2 | -0/+54 |
| | |||||
* | Update test for ffM | Eddie Hung | 2019-08-30 | 1 | -2/+2 |
| | |||||
* | Add mul_unsigned test | Eddie Hung | 2019-08-30 | 2 | -0/+41 |
| | |||||
* | Merge pull request #1340 from YosysHQ/eddie/abc_no_clean | Eddie Hung | 2019-08-30 | 1 | -1/+7 |
|\ | | | | | abc9 to not call "clean" at end of run (often called outside) | ||||
| * | Nicer formatting | Eddie Hung | 2019-08-29 | 1 | -1/+7 |
| | | |||||
* | | Merge pull request #1310 from SergeyDegtyar/master | Eddie Hung | 2019-08-30 | 36 | -1/+765 |
|\ \ | | | | | | | Add new tests for ice40 architecture | ||||
| * | | macc test fix | SergeyDegtyar | 2019-08-30 | 1 | -1/+1 |
| | | | |||||
| * | | Fix macc test | SergeyDegtyar | 2019-08-30 | 1 | -1/+1 |
| | | | |||||
| * | | div_mod test fix | SergeyDegtyar | 2019-08-30 | 1 | -1/+1 |
| | | | |||||
| * | | fix div_mod test | SergeyDegtyar | 2019-08-30 | 1 | -1/+1 |
| | | | |||||
| * | | Fix test for counter | SergeyDegtyar | 2019-08-30 | 1 | -1/+1 |
| | | | |||||
| * | | Merge branch 'master' into master | Sergey | 2019-08-30 | 1 | -0/+26 |
| |\ \ | |||||
| * | | | Add new tests. | SergeyDegtyar | 2019-08-30 | 10 | -0/+200 |
| | | | | |||||
| * | | | Remove unnecessary common.v(assertions for testbenches). | SergeyDegtyar | 2019-08-30 | 1 | -47/+0 |
| | | | | |||||
| * | | | Remove simulation from run-test.sh (unnecessary paths) | SergeyDegtyar | 2019-08-30 | 1 | -16/+9 |
| | | | | |||||
| * | | | Remove simulation from run-test.sh | SergeyDegtyar | 2019-08-30 | 1 | -6/+0 |
| | | | | |||||
| * | | | Merge pull request #3 from YosysHQ/Sergey/tests_ice40 | Sergey | 2019-08-29 | 18 | -243/+271 |
| |\ \ \ | | | | | | | | | | | Merge my changes to tests_ice40 branch | ||||
| | * | | | Comment out *.sh used for testbenches as we have no more | Eddie Hung | 2019-08-28 | 1 | -8/+8 |
| | | | | | |||||
| | * | | | Use equiv for memory and dpram | Eddie Hung | 2019-08-28 | 4 | -168/+2 |
| | | | | | |||||
| | * | | | Use equiv_opt for latches | Eddie Hung | 2019-08-28 | 2 | -58/+10 |
| | | | | | |||||
| | * | | | Merge remote-tracking branch 'origin/clifford/async2synclatch' into ↵ | Eddie Hung | 2019-08-28 | 11 | -9/+251 |
| | |\ \ \ | | | | |/ | | | |/| | | | | | | Sergey/tests_ice40 | ||||
| * | / | | Add comments for examples from Lattice user guide | SergeyDegtyar | 2019-08-29 | 3 | -0/+9 |
| |/ / / | |||||
| * | | | Revert "Add tests for ecp5" | SergeyDegtyar | 2019-08-28 | 30 | -862/+0 |
| | | | | | | | | | | | | | | | | This reverts commit 2270ead09fb4695442c66fe5c06445235f390f2b. | ||||
| * | | | Add tests for ecp5 | SergeyDegtyar | 2019-08-28 | 30 | -0/+862 |
| | | | | |||||
| * | | | Revert "Add tests for ecp5 architecture." | SergeyDegtyar | 2019-08-27 | 30 | -864/+0 |
| | | | | | | | | | | | | | | | | This reverts commit 134d3fea909bae02f4f814e3d649658502b44b73. | ||||
| * | | | Add tests for ecp5 architecture. | SergeyDegtyar | 2019-08-27 | 30 | -0/+864 |
| | | | | |||||
| * | | | Add tests for macc and rom; | SergeyDegtyar | 2019-08-27 | 4 | -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 request | SergeyDegtyar | 2019-08-23 | 2 | -7/+9 |
| | | | | |||||
| * | | | Fix run-test.sh; Add new test for dpram. | SergeyDegtyar | 2019-08-23 | 4 | -1/+120 |
| | | | | |||||
| * | | | Fix path in run-test.sh | SergeyDegtyar | 2019-08-23 | 1 | -3/+3 |
| | | | | |||||
| * | | | Remove adffs_tb.v | Eddie Hung | 2019-08-22 | 1 | -75/+0 |
| | | | | |||||
| * | | | WIP for equivalency checking memories | Eddie Hung | 2019-08-22 | 1 | -1/+13 |
| | | | | |||||
| * | | | Do not print OKAY | Eddie Hung | 2019-08-22 | 2 | -4/+0 |
| | | | | |||||
| * | | | Fail if iverilog fails | Eddie Hung | 2019-08-22 | 1 | -2/+2 |
| | | | | |||||
| * | | | Hide tri-state warning message for now | Eddie Hung | 2019-08-22 | 2 | -1/+2 |
| | | | | |||||
| * | | | Remove unused output | Eddie Hung | 2019-08-22 | 1 | -1/+1 |
| | | | | |||||
| * | | | Fix tribuf test | Eddie Hung | 2019-08-22 | 1 | -1/+1 |
| | | | | |||||
| * | | | Fix comments | Eddie Hung | 2019-08-22 | 8 | -10/+11 |
| | | | | |||||
| * | | | Remove tech independent synthesis | Eddie Hung | 2019-08-22 | 9 | -16/+20 |
| | | | | |||||
| * | | | Remove dffe instantation | Eddie Hung | 2019-08-22 | 1 | -7/+0 |
| | | | | |||||
| * | | | Move $dffe to dffs.{v,ys} | Eddie Hung | 2019-08-22 | 4 | -18/+41 |
| | | | | |||||
| * | | | Make multiplier wider, do not do tech independent synth | Eddie Hung | 2019-08-22 | 2 | -8/+6 |
| | | | | |||||
| * | | | Fix all comments from PR | SergeyDegtyar | 2019-08-21 | 20 | -160/+465 |
| | | | | |||||
| * | | | Add temp directory | SergeyDegtyar | 2019-08-21 | 1 | -0/+1 |
| | | | | |||||
| * | | | Fix tests; Remove simulation; | SergeyDegtyar | 2019-08-20 | 26 | -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 architecture | SergeyDegtyar | 2019-08-20 | 27 | -0/+900 |
| | | | | |||||
* | | | | Merge remote-tracking branch 'origin/master' into eddie/xilinx_srl | Eddie Hung | 2019-08-30 | 2 | -0/+46 |
|\ \ \ \ | | |_|/ | |/| | | |||||
| * | | | Add run-test.sh too | Eddie Hung | 2019-08-28 | 1 | -0/+20 |
| | | | | |||||
| * | | | Add SB_CARRY to ice40_opt test | Eddie Hung | 2019-08-28 | 1 | -3/+5 |
| | | | | |||||
| * | | | Add ice40_opt test | Eddie Hung | 2019-08-28 | 1 | -0/+24 |
| | |/ | |/| |