aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Compute box_lookup just onceEddie Hung2019-08-071-8/+24
|
* Run "clean" on mapped_mod in its own designEddie Hung2019-08-072-24/+10
|
* Run "clean -purge" on holes_module in its own designEddie Hung2019-08-071-6/+11
|
* Merge pull request #1260 from YosysHQ/dave/ecp5_cell_fixesDavid Shah2019-08-071-101/+244
|\ | | | | ecp5: Make cells_sim.v consistent with nextpnr
| * ecp5: Make cells_sim.v consistent with nextpnrDavid Shah2019-08-071-101/+244
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Merge pull request #1213 from YosysHQ/eddie/wreduce_addClifford Wolf2019-08-075-3/+226
|\ \ | | | | | | wreduce/opt_expr: improve width reduction for $add and $sub cells
| * | Add signed opt_expr testsEddie Hung2019-08-061-0/+50
| | |
| * | Add signed testEddie Hung2019-08-061-0/+26
| | |
| * | Move LSB-trimming functionality from wreduce to opt_exprEddie Hung2019-08-062-23/+26
| | |
| * | Add SigSpec::extract_end() convenience functionEddie Hung2019-08-061-0/+1
| | |
| * | Restore original SigSpec::extract()Eddie Hung2019-08-061-1/+1
| | |
| * | Move LSB tests from wreduce to opt_exprEddie Hung2019-08-062-99/+101
| | |
| * | Merge remote-tracking branch 'origin/master' into eddie/wreduce_addEddie Hung2019-08-0656-172/+763
| |\ \
| * | | Try and fix againEddie Hung2019-07-191-5/+4
| | | |
| * | | Add another testEddie Hung2019-07-191-1/+24
| | | |
| * | | Do not access beyond boundsEddie Hung2019-07-191-1/+1
| | | |
| * | | Add an SigSpec::at(offset, defval) convenience methodEddie Hung2019-07-191-0/+1
| | | |
| * | | Wrap A and B in sigmapEddie Hung2019-07-191-2/+2
| | | |
| * | | Remove "top" from messageEddie Hung2019-07-191-1/+1
| | | |
| * | | Also optimise MSB of $subEddie Hung2019-07-191-3/+3
| | | |
| * | | Add one more test with trimming Y_WIDTH of $subEddie Hung2019-07-191-11/+14
| | | |
| * | | Be more explicitEddie Hung2019-07-191-6/+29
| | | |
| * | | wreduce for $subEddie Hung2019-07-191-0/+23
| | | |
| * | | Add tests for sub tooEddie Hung2019-07-191-1/+48
| | | |
| * | | Add testEddie Hung2019-07-191-0/+22
| | | |
| * | | SigSpec::extract to take negative lengthsEddie Hung2019-07-191-1/+1
| | | |
* | | | Merge pull request #1240 from ucb-bar/firrtl-properties+pow+xnorClifford Wolf2019-08-072-94/+206
|\ \ \ \ | | | | | | | | | | Support explicit FIRRTL properties for better accommodation of FIRRTL/Verilog semantic differences.
| * | | | Support explicit FIRRTL properties for better accommodation of ↵Jim Lawson2019-07-312-94/+206
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
| * | | | Merge remote-tracking branch 'upstream/master'Jim Lawson2019-07-3021-32/+164
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'upstream/master'Jim Lawson2019-07-24199-1214/+9423
| |\ \ \ \ \
* | \ \ \ \ \ Merge pull request #1249 from mmicko/anlogic_fixClifford Wolf2019-08-071-16/+8
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | anlogic : Fix alu mapping
| * | | | | | | anlogic : Fix alu mappingMiodrag Milanovic2019-08-031-16/+8
| | | | | | | |
* | | | | | | | Merge pull request #1252 from YosysHQ/clifford/fix1231Clifford Wolf2019-08-071-15/+2
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | Fix handling of functions/tasks without top-level begin-end block
| * | | | | | | | Fix handling of functions/tasks without top-level begin-end block, fixes #1231Clifford Wolf2019-08-061-15/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | Merge pull request #1253 from YosysHQ/clifford/checkClifford Wolf2019-08-073-9/+17
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | Be less aggressive with running design->check()
| * | | | | | | | | Be less aggressive with running design->check()Clifford Wolf2019-08-063-9/+17
| |/ / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | | Merge pull request #1257 from YosysHQ/clifford/cellcostsClifford Wolf2019-08-073-109/+103
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|/ |/| | | | | | | | Redesign of cell cost API
| * | | | | | | | Tweak default gate costs, cleanup "stat -tech cmos"Clifford Wolf2019-08-072-20/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | | Redesign of cell cost APIClifford Wolf2019-08-072-93/+97
| | |_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | Update CHANGELOGDavid Shah2019-08-071-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | | | | | | Merge pull request #1241 from YosysHQ/clifford/jsonfixDavid Shah2019-08-072-36/+71
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | Improved JSON attr/param encoding
| * | | | | | | Update JSON front-end to process new attr/param encodingClifford Wolf2019-08-011-23/+34
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | Implement improved JSON attr/param encodingClifford Wolf2019-08-011-13/+37
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | | | Merge pull request #1232 from YosysHQ/dave/write_gzipDavid Shah2019-08-064-7/+79
|\ \ \ \ \ \ \ \ | |_|/ / / / / / |/| | | | | | | Add support for writing gzip-compressed files
| * | | | | | | Add test for writing gzip-compressed filesDavid Shah2019-08-062-0/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | | | | | | Add support for writing gzip-compressed filesDavid Shah2019-08-062-7/+61
|/ / / / / / / | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | | | | | Merge pull request #1251 from YosysHQ/clifford/nmuxClifford Wolf2019-08-0619-42/+174
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | Add $_NMUX_, add "abc -g cmos", add proper cmos cell costs
| * | | | | | Add $_NMUX_, add "abc -g cmos", add proper cmos cell costsClifford Wolf2019-08-0619-42/+174
|/ / / / / / | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | Merge pull request #1242 from jfng/fix-proc_prune-partialwhitequark2019-08-031-2/+11
|\ \ \ \ \ \ | | | | | | | | | | | | | | proc_prune: Promote partially redundant assignments.
| * | | | | | proc_prune: Promote partially redundant assignments.Jean-François Nguyen2019-08-011-2/+11
| |/ / / / /