aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| | * | | | 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-2028-0/+901
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-301-1/+1
|\| | | | |
| * | | | | Merge pull request #1321 from YosysHQ/eddie/xilinx_srlEddie Hung2019-08-3013-224/+816
| |\ \ \ \ \ | | | | | | | | | | | | | | xilinx_srl pass for shift register extraction
| * | | | | | Format `-pwires`Eddie Hung2019-08-301-1/+1
| | | | | | |
* | | | | | | Merge branch 'eddie/xilinx_srl' into xaig_arrivalEddie Hung2019-08-301-4/+0
|\ \ \ \ \ \ \ | | |/ / / / / | |/| | | | |
| * | | | | | Merge remote-tracking branch 'origin/master' into eddie/xilinx_srlEddie Hung2019-08-3018-139/+264
| |\| | | | |
| * | | | | | CleanupEddie Hung2019-08-281-4/+0
| | | | | | |
| * | | | | | Account for D port being a constantEddie Hung2019-08-281-4/+4
| | | | | | |
* | | | | | | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-3012-111/+152
|\ \ \ \ \ \ \ | | |/ / / / / | |/| | | | |
| * | | | | | Merge pull request #1343 from whitequark/diamond-ffsDavid Shah2019-08-307-106/+147
| |\ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | | Add/update every Diamond FF primitive
| | * | | | | ecp5: Add simulation equivalence check for Diamond FF implementationsDavid Shah2019-08-303-0/+87
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * | | | | ecp5: deduplicate Diamond FD/IFS/OFS/IO primitives.whitequark2019-08-305-95/+60
| | | | | | |
| | * | | | | ecp5: allow (and enable by default) GSR on FD/IFS/OFS primitives.whitequark2019-08-301-35/+20
| | | | | | |
| | * | | | | ecp5: add missing FD primitives.whitequark2019-08-302-72/+76
| | | | | | |
| | * | | | | ecp5: fix CEMUX on IFS/OFS primitives.whitequark2019-08-302-18/+18
| |/ / / / /
| * | | | | Merge pull request #1337 from YosysHQ/eddie/fix_carry_wrapperEddie Hung2019-08-297-27/+71
| |\ \ \ \ \ | | |_|_|_|/ | |/| | | | Fix $__ICE40_CARRY_WRAPPER, restore abc9 functionality
| | * | | | Rename boxes tooEddie Hung2019-08-293-3/+3
| | | | | |
| * | | | | Fix typo that's gone unnoticed for 5 months!?!Eddie Hung2019-08-291-1/+1
| | | | | |
| * | | | | Bump YOSYS_VERClifford Wolf2019-08-291-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | Use a dummy box file if none specifiedEddie Hung2019-08-283-3/+10
| | | | | |
* | | | | | Comment out SB_MAC16 arrival time for now, need to handle all its modesEddie Hung2019-08-281-1/+1
| | | | | |
* | | | | | Add arrival for SB_MAC16.OEddie Hung2019-08-281-0/+1
| | | | | |
* | | | | | Add arrival times for UEddie Hung2019-08-281-0/+26
| | | | | |
* | | | | | LX -> LPEddie Hung2019-08-281-1/+1
| | | | | |
* | | | | | Round not floorEddie Hung2019-08-281-21/+21
| | | | | |
* | | | | | Add LP timingsEddie Hung2019-08-281-0/+26
| | | | | |
* | | | | | LX -> LPEddie Hung2019-08-281-1/+1
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/eddie/fix_carry_wrapper' into xaig_arrivalEddie Hung2019-08-281-0/+20
|\ \ \ \ \ \ | | |/ / / / | |/| | | |
| * | | | | Add run-test.sh tooEddie Hung2019-08-281-0/+20
| | | | | |
| * | | | | Do not overwrite LUT paramEddie Hung2019-08-281-1/+0
| | | | | |
| * | | | | Add SB_CARRY to ice40_opt testEddie Hung2019-08-281-3/+5
| | | | | |
| * | | | | Add ice40_opt testEddie Hung2019-08-281-0/+24
| | | | | |
* | | | | | Do not overwrite LUT paramEddie Hung2019-08-281-1/+0
| | | | | |
* | | | | | Add SB_CARRY to ice40_opt testEddie Hung2019-08-281-3/+5
| | | | | |
* | | | | | Add ice40_opt testEddie Hung2019-08-281-0/+24
| | | | | |
* | | | | | Revert "Revert "Fix omode which inserts an output if none exists (otherwise ↵Eddie Hung2019-08-281-7/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | abc9 breaks)"" This reverts commit 8f0c1232d7c511a6473f4581e4c27a90088cedb7.
* | | | | | Revert "Output "h" extension only if boxes"Eddie Hung2019-08-281-32/+28
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 399ac760ff2bf4a7d438ed388820e7bfb511de6b.
* | | | | | Merge remote-tracking branch 'origin/eddie/fix_carry_wrapper' into xaig_arrivalEddie Hung2019-08-282-1/+48
|\| | | | |
| * | | | | Trailing commaEddie Hung2019-08-281-1/+1
| | | | | |
| * | | | | Adapt to $__ICE40_CARRY_WRAPPEREddie Hung2019-08-281-3/+5
| | | | | |
| * | | | | Revert "Remove $__ICE40_FULL_ADDER handling from ice40_opt; cannot reason with"Eddie Hung2019-08-281-0/+45
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 2aedee1f0e0f6a6214241f51f5c12d4b67c3ef6f.
* | | | | | Add arrival times for HX devicesEddie Hung2019-08-281-21/+114
| | | | | |
* | | | | | Specify ice40 family to cells_sim.v using defineEddie Hung2019-08-281-1/+8
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/eddie/fix_carry_wrapper' into xaig_arrivalEddie Hung2019-08-285-68/+20
|\| | | | |
| * | | | | Remove $__ICE40_FULL_ADDER handling from ice40_opt; cannot reason withEddie Hung2019-08-281-45/+0
| | | | | | | | | | | | | | | | | | | | | | | | CARRY_WRAPPER in the same way since I0 and I3 could be used
| * | | | | Update box size and timingsEddie Hung2019-08-283-12/+12
| | | | | |
| * | | | | Update to new $__ICE40_CARRY_WRAPPEREddie Hung2019-08-281-11/+8
| |/ / / /
* | | | | Account for D port being a constantEddie Hung2019-08-281-4/+4
| | | | |