Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| | * | | | | 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 #2 from YosysHQ/master | Sergey | 2019-08-29 | 10 | -127/+341 | |
| | |\ \ \ \ | | | | |/ / | | | |/| | | Pull from upstream | |||||
| | * | | | | Merge pull request #3 from YosysHQ/Sergey/tests_ice40 | Sergey | 2019-08-29 | 74 | -820/+3636 | |
| | |\ \ \ \ | | | | | | | | | | | | | | | 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 | 67 | -586/+3616 | |
| | | |\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | 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 | 31 | -863/+0 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 2270ead09fb4695442c66fe5c06445235f390f2b. | |||||
| | * | | | | | Add tests for ecp5 | SergeyDegtyar | 2019-08-28 | 31 | -0/+863 | |
| | | | | | | | ||||||
| | * | | | | | Revert "Add tests for ecp5 architecture." | SergeyDegtyar | 2019-08-27 | 31 | -865/+0 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 134d3fea909bae02f4f814e3d649658502b44b73. | |||||
| | * | | | | | Add tests for ecp5 architecture. | SergeyDegtyar | 2019-08-27 | 31 | -0/+865 | |
| | | | | | | | ||||||
| | * | | | | | 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 | |
| | | | | | | | ||||||
| | * | | | | | Merge pull request #1 from YosysHQ/Sergey/tests_ice40 | Sergey | 2019-08-23 | 18 | -138/+91 | |
| | |\ \ \ \ \ | | | | | | | | | | | | | | | | | tests_ice40 improvements | |||||
| | | * | | | | | 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 | |
| | | | | | | | | ||||||
| | | * | | | | | Spelling | Eddie Hung | 2019-08-22 | 1 | -2/+2 | |
| | | | | | | | | ||||||
| | | * | | | | | 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 | 28 | -0/+901 | |
| | | | | | | | ||||||
* | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-30 | 1 | -1/+1 | |
|\| | | | | | | ||||||
| * | | | | | | Merge pull request #1321 from YosysHQ/eddie/xilinx_srl | Eddie Hung | 2019-08-30 | 13 | -224/+816 | |
| |\ \ \ \ \ \ | | | | | | | | | | | | | | | | | xilinx_srl pass for shift register extraction | |||||
| * | | | | | | | Format `-pwires` | Eddie Hung | 2019-08-30 | 1 | -1/+1 | |
| | | | | | | | | ||||||
* | | | | | | | | Merge branch 'eddie/xilinx_srl' into xaig_arrival | Eddie Hung | 2019-08-30 | 1 | -4/+0 | |
|\ \ \ \ \ \ \ \ | | |/ / / / / / | |/| | | | | | | ||||||
| * | | | | | | | Merge remote-tracking branch 'origin/master' into eddie/xilinx_srl | Eddie Hung | 2019-08-30 | 18 | -139/+264 | |
| |\| | | | | | | ||||||
| * | | | | | | | Cleanup | Eddie Hung | 2019-08-28 | 1 | -4/+0 | |
| | | | | | | | | ||||||
| * | | | | | | | Account for D port being a constant | Eddie Hung | 2019-08-28 | 1 | -4/+4 | |
| | | | | | | | | ||||||
* | | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-08-30 | 12 | -111/+152 | |
|\ \ \ \ \ \ \ \ | | |/ / / / / / | |/| | | | | | | ||||||
| * | | | | | | | Merge pull request #1343 from whitequark/diamond-ffs | David Shah | 2019-08-30 | 7 | -106/+147 | |
| |\ \ \ \ \ \ \ | | |_|_|_|_|/ / | |/| | | | | | | Add/update every Diamond FF primitive | |||||
| | * | | | | | | ecp5: Add simulation equivalence check for Diamond FF implementations | David Shah | 2019-08-30 | 3 | -0/+87 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| | * | | | | | | ecp5: deduplicate Diamond FD/IFS/OFS/IO primitives. | whitequark | 2019-08-30 | 5 | -95/+60 | |
| | | | | | | | | ||||||
| | * | | | | | | ecp5: allow (and enable by default) GSR on FD/IFS/OFS primitives. | whitequark | 2019-08-30 | 1 | -35/+20 | |
| | | | | | | | | ||||||
| | * | | | | | | ecp5: add missing FD primitives. | whitequark | 2019-08-30 | 2 | -72/+76 | |
| | | | | | | | | ||||||
| | * | | | | | | ecp5: fix CEMUX on IFS/OFS primitives. | whitequark | 2019-08-30 | 2 | -18/+18 | |
| |/ / / / / / | ||||||
| * | | | | | | Merge pull request #1337 from YosysHQ/eddie/fix_carry_wrapper | Eddie Hung | 2019-08-29 | 7 | -27/+71 | |
| |\ \ \ \ \ \ | | |_|_|_|/ / | |/| | | | | | Fix $__ICE40_CARRY_WRAPPER, restore abc9 functionality |