Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | proc_clean: fix order of switch insertion. | whitequark | 2019-08-19 | 4 | -0/+35 |
| | | | | Fixes #1268. | ||||
* | Add *.sv to tests/simple_abc9/.gitignore | Clifford Wolf | 2019-08-19 | 1 | -0/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Merge remote-tracking branch 'origin/master' into clifford/testfast | Eddie Hung | 2019-08-18 | 32 | -29/+485 |
|\ | |||||
| * | Merge branch 'master' into eddie/pr1266_again | whitequark | 2019-08-18 | 24 | -2/+453 |
| |\ | |||||
| | * | Merge https://github.com/bogdanvuk/yosys into bogdanvuk/opt_share | Eddie Hung | 2019-08-16 | 23 | -0/+451 |
| | |\ | |||||
| | | * | Fix wrong results when opt_share called before opt_clean | Bogdan Vukobratovic | 2019-08-07 | 1 | -1/+0 |
| | | | | |||||
| | | * | Support various binary operators in opt_share | Bogdan Vukobratovic | 2019-08-04 | 3 | -0/+126 |
| | | | | |||||
| | | * | Tabs to spaces in opt_share examples | Bogdan Vukobratovic | 2019-08-03 | 10 | -150/+150 |
| | | | | |||||
| | | * | Fix spacing in opt_share tests, change wording in opt_share help | Bogdan Vukobratovic | 2019-08-03 | 10 | -155/+150 |
| | | | | |||||
| | | * | Reimplement opt_share to work on $alu and $pmux | Bogdan Vukobratovic | 2019-07-28 | 20 | -17/+295 |
| | | | | |||||
| | | * | Implement opt_share | Bogdan Vukobratovic | 2019-07-26 | 4 | -0/+53 |
| | | | | | | | | | | | | | | | | | | | | | | | | This pass identifies arithmetic operators that share an operand and whose results are used in mutually exclusive cases controlled by a multiplexer, and merges them together by multiplexing the other operands | ||||
| * | | | Revert "Merge pull request #1280 from ↵ | Eddie Hung | 2019-08-12 | 9 | -29/+34 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | YosysHQ/revert-1266-eddie/ice40_full_adder" This reverts commit c851dc13108021834533094a8a3236da6d9e0161, reversing changes made to f54bf1631ff37a83733c162e6ebd188c1d5ea18f. | ||||
* | | | | Removal of more `stat` calls from tests | Eddie Hung | 2019-08-18 | 3 | -26/+26 |
| | | | | |||||
* | | | | Speed up "make test" and related cleanups | Clifford Wolf | 2019-08-17 | 5 | -11/+21 |
| |/ / |/| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | Do not use Verific in tests/various/write_gzip.ys | Clifford Wolf | 2019-08-16 | 1 | -2/+2 |
|/ / | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | Merge remote-tracking branch 'origin/master' into eddie/fix_1262 | Eddie Hung | 2019-08-11 | 9 | -34/+29 |
|\ \ | |||||
| * | | Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER" | David Shah | 2019-08-10 | 9 | -34/+29 |
| | | | |||||
* | | | Add $alu tests | Eddie Hung | 2019-08-09 | 1 | -0/+42 |
| | | | |||||
* | | | Add alumacc versions of opt_expr tests | Eddie Hung | 2019-08-09 | 1 | -0/+84 |
| | | | |||||
* | | | Add new $alu test, remove wreduce | Eddie Hung | 2019-08-09 | 1 | -11/+21 |
| | | | |||||
* | | | Cleanup some more | Eddie Hung | 2019-08-09 | 1 | -12/+0 |
| | | | |||||
* | | | Simplify opt_expr tests using equiv_opt | Eddie Hung | 2019-08-09 | 1 | -72/+23 |
|/ / | |||||
* | | Remove dump call | Eddie Hung | 2019-08-07 | 1 | -1/+0 |
| | | |||||
* | | Move tests/various/opt* into tests/opt/ | Eddie Hung | 2019-08-07 | 5 | -1/+1 |
| | | |||||
* | | Remove ice40_unlut call, simply do equiv_opt on synth_ice40 | Eddie Hung | 2019-08-07 | 1 | -3/+1 |
| | | |||||
* | | Add testcase from removed opt_ff.{v,ys} | Eddie Hung | 2019-08-07 | 1 | -0/+32 |
| | | |||||
* | | Remove tests/opt/opt_ff.{v,ys} as they don't seem to do anything but run | Eddie Hung | 2019-08-07 | 2 | -24/+0 |
| | | |||||
* | | Merge pull request #1213 from YosysHQ/eddie/wreduce_add | Clifford Wolf | 2019-08-07 | 2 | -0/+196 |
|\ \ | | | | | | | wreduce/opt_expr: improve width reduction for $add and $sub cells | ||||
| * | | Add signed opt_expr tests | Eddie Hung | 2019-08-06 | 1 | -0/+50 |
| | | | |||||
| * | | Add signed test | Eddie Hung | 2019-08-06 | 1 | -0/+26 |
| | | | |||||
| * | | Move LSB tests from wreduce to opt_expr | Eddie Hung | 2019-08-06 | 2 | -99/+101 |
| | | | |||||
| * | | Merge remote-tracking branch 'origin/master' into eddie/wreduce_add | Eddie Hung | 2019-08-06 | 4 | -0/+20 |
| |\ \ | |||||
| * | | | Add another test | Eddie Hung | 2019-07-19 | 1 | -1/+24 |
| | | | | |||||
| * | | | Add one more test with trimming Y_WIDTH of $sub | Eddie Hung | 2019-07-19 | 1 | -11/+14 |
| | | | | |||||
| * | | | Be more explicit | Eddie Hung | 2019-07-19 | 1 | -6/+29 |
| | | | | |||||
| * | | | Add tests for sub too | Eddie Hung | 2019-07-19 | 1 | -1/+48 |
| | | | | |||||
| * | | | Add test | Eddie Hung | 2019-07-19 | 1 | -0/+22 |
| | |/ | |/| | |||||
* | | | Merge pull request #1240 from ucb-bar/firrtl-properties+pow+xnor | Clifford Wolf | 2019-08-07 | 1 | -1/+3 |
|\ \ \ | |_|/ |/| | | Support explicit FIRRTL properties for better accommodation of FIRRTL/Verilog semantic differences. | ||||
| * | | Support explicit FIRRTL properties for better accommodation of ↵ | Jim Lawson | 2019-07-31 | 1 | -1/+3 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | FIRRTL/Verilog semantic differences. Use FIRRTL spec vlaues for definition of FIRRTL widths. Added support for '$pos`, `$pow` and `$xnor` cells. Enable tests/simple/operators.v since all operators tested there are now supported. Disable FIRRTL tests of tests/simple/{defvalue.sv,implicit_ports.v,wandwor.v} since they currently generate FIRRTL compilation errors. | ||||
* | | | Add test for writing gzip-compressed files | David Shah | 2019-08-06 | 2 | -0/+18 |
|/ / | | | | | | | Signed-off-by: David Shah <dave@ds0.me> |