Eddie Hung
|
f9906eed68
|
Fix comments
|
2019-08-22 16:05:12 -07:00 |
|
Eddie Hung
|
9224b3bc17
|
Remove tech independent synthesis
|
2019-08-22 16:05:12 -07:00 |
|
Eddie Hung
|
388eb3288c
|
Remove dffe instantation
|
2019-08-22 16:04:50 -07:00 |
|
Eddie Hung
|
9e537a76b5
|
Move $dffe to dffs.{v,ys}
|
2019-08-22 16:04:48 -07:00 |
|
Eddie Hung
|
c5754d9e8b
|
Make multiplier wider, do not do tech independent synth
|
2019-08-22 16:04:07 -07:00 |
|
Eddie Hung
|
b800059fc1
|
Merge pull request #1317 from YosysHQ/eddie/opt_expr_shiftx
opt_expr to trim A port of $shiftx/$shift
|
2019-08-22 10:31:27 -07:00 |
|
Eddie Hung
|
6f971470f8
|
Respect opt_expr -keepdc as per @cliffordwolf
|
2019-08-22 08:37:27 -07:00 |
|
Eddie Hung
|
379f33af54
|
Handle $shift and Y_WIDTH > 1 as per @cliffordwolf
|
2019-08-22 08:22:23 -07:00 |
|
Eddie Hung
|
bb1a8a0190
|
Add test
|
2019-08-21 21:58:20 -07:00 |
|
Eddie Hung
|
a6776ee35e
|
mem2reg to preserve user attributes and src
|
2019-08-21 13:36:01 -07:00 |
|
SergeyDegtyar
|
d945b8a357
|
Fix all comments from PR
|
2019-08-21 21:52:07 +03:00 |
|
SergeyDegtyar
|
b835ec37cb
|
Add temp directory
|
2019-08-21 07:53:34 +03:00 |
|
Eddie Hung
|
fce8dc7db2
|
Add test
|
2019-08-20 20:05:16 -07:00 |
|
SergeyDegtyar
|
71dd412ac5
|
Fix tests; Remove simulation;
- 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;
|
2019-08-20 15:52:25 +03:00 |
|
Clifford Wolf
|
d0117d7d12
|
Merge branch 'master' into clifford/pmgen
|
2019-08-20 11:39:23 +02:00 |
|
Clifford Wolf
|
6ffb910d12
|
Add test case for real parameters
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-08-20 11:38:21 +02:00 |
|
SergeyDegtyar
|
153ec0541c
|
Add new tests for ice40 architecture
|
2019-08-20 07:50:05 +03:00 |
|
whitequark
|
4a942ba7b9
|
proc_clean: fix order of switch insertion.
Fixes #1268.
|
2019-08-19 16:44:23 +00:00 |
|
Clifford Wolf
|
21699e5840
|
Add *.sv to tests/simple_abc9/.gitignore
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-08-19 13:04:57 +02:00 |
|
Clifford Wolf
|
1e3dd0a2da
|
Merge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgen
|
2019-08-19 13:04:06 +02:00 |
|
Eddie Hung
|
e34f2de55d
|
Merge remote-tracking branch 'origin/master' into clifford/testfast
|
2019-08-18 21:29:15 -07:00 |
|
Eddie Hung
|
f5170a7eda
|
Removal of more stat calls from tests
|
2019-08-18 21:28:45 -07:00 |
|
whitequark
|
101235400c
|
Merge branch 'master' into eddie/pr1266_again
|
2019-08-18 08:04:10 +00:00 |
|
Clifford Wolf
|
9e940f1276
|
Speed up "make test" and related cleanups
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-08-17 14:37:07 +02:00 |
|
Clifford Wolf
|
f20be90436
|
Add test for pmtest_test "reduce" demo pattern
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-08-17 14:05:10 +02:00 |
|
Eddie Hung
|
51d28645da
|
Merge https://github.com/bogdanvuk/yosys into bogdanvuk/opt_share
|
2019-08-16 13:40:29 -07:00 |
|
Clifford Wolf
|
40c40d9f5d
|
Do not use Verific in tests/various/write_gzip.ys
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-08-16 14:22:46 +02:00 |
|
Eddie Hung
|
12c692f6ed
|
Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder"
This reverts commit c851dc1310 , reversing
changes made to f54bf1631f .
|
2019-08-12 12:06:45 -07:00 |
|
Eddie Hung
|
88d5185596
|
Merge remote-tracking branch 'origin/master' into eddie/fix_1262
|
2019-08-11 21:13:40 -07:00 |
|
David Shah
|
f9020ce2b3
|
Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"
|
2019-08-10 17:14:48 +01:00 |
|
Eddie Hung
|
0adf81cb91
|
Add $alu tests
|
2019-08-09 12:13:17 -07:00 |
|
Eddie Hung
|
8350dfb809
|
Add alumacc versions of opt_expr tests
|
2019-08-09 10:30:53 -07:00 |
|
Eddie Hung
|
9300111601
|
Add new $alu test, remove wreduce
|
2019-08-09 10:22:06 -07:00 |
|
Eddie Hung
|
313c9ec8df
|
Cleanup some more
|
2019-08-09 10:13:49 -07:00 |
|
Eddie Hung
|
d9c1664462
|
Simplify opt_expr tests using equiv_opt
|
2019-08-09 10:08:17 -07:00 |
|
Eddie Hung
|
8bf45f34c4
|
Remove dump call
|
2019-08-07 21:36:02 -07:00 |
|
Eddie Hung
|
2b6cdfb39f
|
Move tests/various/opt* into tests/opt/
|
2019-08-07 21:35:48 -07:00 |
|
Eddie Hung
|
d5e8c0e6d3
|
Remove ice40_unlut call, simply do equiv_opt on synth_ice40
|
2019-08-07 21:33:56 -07:00 |
|
Eddie Hung
|
35bf509603
|
Add testcase from removed opt_ff.{v,ys}
|
2019-08-07 21:31:32 -07:00 |
|
Eddie Hung
|
4545bf482f
|
Remove tests/opt/opt_ff.{v,ys} as they don't seem to do anything but run
|
2019-08-07 16:48:38 -07:00 |
|
Clifford Wolf
|
e9a756aa7a
|
Merge pull request #1213 from YosysHQ/eddie/wreduce_add
wreduce/opt_expr: improve width reduction for $add and $sub cells
|
2019-08-07 14:27:35 +02:00 |
|
Clifford Wolf
|
48f7682e32
|
Merge pull request #1240 from ucb-bar/firrtl-properties+pow+xnor
Support explicit FIRRTL properties for better accommodation of FIRRTL/Verilog semantic differences.
|
2019-08-07 12:31:32 +02:00 |
|
Bogdan Vukobratovic
|
067b44938c
|
Fix wrong results when opt_share called before opt_clean
|
2019-08-07 09:30:58 +02:00 |
|
Eddie Hung
|
2d1b517b01
|
Add signed opt_expr tests
|
2019-08-06 15:40:30 -07:00 |
|
Eddie Hung
|
769c750c22
|
Add signed test
|
2019-08-06 15:38:43 -07:00 |
|
Eddie Hung
|
51b39219cd
|
Move LSB tests from wreduce to opt_expr
|
2019-08-06 15:24:49 -07:00 |
|
Eddie Hung
|
26cb3e7afc
|
Merge remote-tracking branch 'origin/master' into eddie/wreduce_add
|
2019-08-06 14:50:00 -07:00 |
|
David Shah
|
3a3da678ad
|
Add test for writing gzip-compressed files
Signed-off-by: David Shah <dave@ds0.me>
|
2019-08-06 17:43:04 +01:00 |
|
Bogdan Vukobratovic
|
6a796accc0
|
Support various binary operators in opt_share
|
2019-08-04 19:06:38 +02:00 |
|
Bogdan Vukobratovic
|
d8be5ce6ba
|
Tabs to spaces in opt_share examples
|
2019-08-03 12:35:46 +02:00 |
|