Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #714 from daveshah1/abc_preserve_naming | Clifford Wolf | 2018-12-16 | 1 | -29/+51 |
|\ | | | | | Proof-of-concept: preserve naming through ABC using dress | ||||
| * | abc: Preserve naming through ABC using 'dress' command | David Shah | 2018-12-06 | 1 | -29/+51 |
| | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | Merge pull request #722 from whitequark/rename_src | Clifford Wolf | 2018-12-16 | 1 | -0/+50 |
|\ \ | | | | | | | rename: add -src, for inferring names from source locations | ||||
| * | | rename: add -src, for inferring names from source locations. | whitequark | 2018-12-05 | 1 | -0/+50 |
| | | | |||||
* | | | Merge pull request #720 from whitequark/master | Clifford Wolf | 2018-12-16 | 2 | -2/+2 |
|\ \ \ | | | | | | | | | lut2mux: handle 1-bit INIT constant in $lut cells | ||||
| * | | | lut2mux: handle 1-bit INIT constant in $lut cells. | whitequark | 2018-12-05 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | This pass already handles INIT constants shorter than 2^width, but that was not done for the recursion base case. | ||||
| * | | | opt_lut: simplify type conversion. NFC. | whitequark | 2018-12-05 | 1 | -1/+1 |
| |/ / | |||||
* | | | opt_lut: leave intact LUTs with cascade feeding module outputs. | whitequark | 2018-12-07 | 1 | -0/+6 |
| | | | |||||
* | | | opt_lut: show original truth table for both cells. | whitequark | 2018-12-07 | 1 | -2/+3 |
| | | | |||||
* | | | opt_lut: add -limit option, for debugging misoptimizations. | whitequark | 2018-12-07 | 1 | -3/+21 |
| |/ |/| | |||||
* | | Bugfix in opt_expr handling of a<0 and a>=0 | Clifford Wolf | 2018-12-06 | 1 | -1/+1 |
|/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Rename opt_lut.cpp to opt_lut.cc | Clifford Wolf | 2018-12-05 | 1 | -0/+0 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | opt_lut: add -dlogic, to avoid disturbing logic such as carry chains. | whitequark | 2018-12-05 | 1 | -17/+163 |
| | |||||
* | opt_lut: always prefer to eliminate 1-LUTs. | whitequark | 2018-12-05 | 1 | -19/+41 |
| | | | | | These are always either buffers or inverters, and keeping the larger LUT preserves more source-level information about the design. | ||||
* | opt_lut: collect and display statistics. | whitequark | 2018-12-05 | 1 | -4/+33 |
| | |||||
* | opt_lut: refactor to use a worker. NFC. | whitequark | 2018-12-05 | 1 | -170/+177 |
| | |||||
* | opt_lut: new pass, to combine LUTs for tighter packing. | whitequark | 2018-12-05 | 2 | -0/+275 |
| | |||||
* | Fix typo | Clifford Wolf | 2018-12-04 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Merge pull request #702 from smunaut/min_ce_use | Clifford Wolf | 2018-12-04 | 1 | -1/+36 |
|\ | | | | | Add option to only use DFFE is the resulting E signal would be use > N times | ||||
| * | dff2dffe: Add option for unmap to only remove DFFE with low CE signal use | Sylvain Munaut | 2018-11-27 | 1 | -1/+36 |
| | | | | | | | | Signed-off-by: Sylvain Munaut <tnt@246tNt.com> | ||||
* | | Merge pull request #676 from rafaeltp/master | Clifford Wolf | 2018-12-01 | 1 | -10/+17 |
|\ \ | |/ |/| | Splits SigSpec into bits before calling check_signal_in_fanout (solves #675) | ||||
| * | using [i] to access individual bits of SigSpec and merging bits into a tmp ↵ | rafaeltp | 2018-10-21 | 1 | -11/+12 |
| | | | | | | | | Sig before setting the port to new signal | ||||
| * | cleaning up for PR | rafaeltp | 2018-10-20 | 1 | -2/+2 |
| | | |||||
| * | fixing code style | rafaeltp | 2018-10-20 | 1 | -1/+1 |
| | | |||||
| * | solves #675 | rafaeltp | 2018-10-20 | 1 | -11/+17 |
| | | |||||
* | | Add iteration limit to "opt_muxtree" | Clifford Wolf | 2018-11-20 | 1 | -1/+17 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | DFFLIBMAP: changed 'missing pin' error into a warning with additional ↵ | Niels Moseley | 2018-11-06 | 1 | -1/+10 |
| | | | | | | | | reason/info. | ||||
* | | Allow square brackets in liberty identifiers | Clifford Wolf | 2018-11-05 | 1 | -2/+2 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | Liberty file newline handling is more relaxed. More descriptive error message | Niels Moseley | 2018-11-03 | 1 | -4/+7 |
| | | |||||
* | | Report an error when a liberty file contains pin references that reference ↵ | Niels Moseley | 2018-11-03 | 1 | -0/+3 |
|/ | | | | non-existing pins | ||||
* | Refactor code to avoid code duplication + added comments | Ruben Undheim | 2018-10-20 | 1 | -2/+5 |
| | |||||
* | Support for SystemVerilog interfaces as a port in the top level module + ↵ | Ruben Undheim | 2018-10-20 | 1 | -5/+36 |
| | | | | test case | ||||
* | Merge pull request #672 from daveshah1/fix_bram | Clifford Wolf | 2018-10-19 | 1 | -0/+1 |
|\ | | | | | memory_bram: Reset make_outreg when growing read ports | ||||
| * | memory_bram: Reset make_outreg when growing read ports | David Shah | 2018-10-19 | 1 | -0/+1 |
| | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | Merge pull request #659 from rubund/sv_interfaces | Clifford Wolf | 2018-10-18 | 1 | -7/+188 |
|\ \ | | | | | | | Support for SystemVerilog interfaces and modports | ||||
| * | | Documentation improvements etc. | Ruben Undheim | 2018-10-13 | 1 | -27/+38 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | - Mention new feature in the SystemVerilog section in the README file - Commented changes much better - Rename a few signals to make it clearer - Prevent warning for unused signals in an easier way - Add myself as copyright holder to 2 files - Fix one potential memory leak (delete 'wire' if not in modport) | ||||
| * | | Support for 'modports' for System Verilog interfaces | Ruben Undheim | 2018-10-12 | 1 | -1/+13 |
| | | | |||||
| * | | Synthesis support for SystemVerilog interfaces | Ruben Undheim | 2018-10-12 | 1 | -7/+165 |
| |/ | | | | | | | This time doing the changes mostly in AST before RTLIL generation | ||||
* | | stop check_signal_in_fanout from traversing FFs | tklam | 2018-10-13 | 1 | -2/+2 |
| | | |||||
* | | stop check_signal_in_fanout from traversing FFs | tklam | 2018-10-13 | 1 | -1/+12 |
| | | |||||
* | | fix bug: pass by reference | tklam | 2018-09-26 | 1 | -1/+1 |
| | | |||||
* | | Fix issue #639 | TK Lam | 2018-09-26 | 1 | -0/+58 |
|/ | |||||
* | Merge pull request #625 from aman-goel/master | Clifford Wolf | 2018-09-14 | 1 | -1/+7 |
|\ | | | | | Minor revision to -expose in setundef pass | ||||
| * | Minor revision to -expose in setundef pass | Aman Goel | 2018-09-10 | 1 | -1/+7 |
| | | | | | | | | Adds default value option as -undef when -expose used. Not having set the value mode set can cause the setundef pass to abort. | ||||
* | | Fixed minor typo in "sim" help message | acw1251 | 2018-09-12 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #606 from cr1901/show-win | Clifford Wolf | 2018-08-19 | 1 | -3/+20 |
|\ \ | |/ |/| | `show` pass `-format` and `-viewer` improvements on Windows | ||||
| * | Update show pass documentation with Windows caveats. | William D. Jones | 2018-08-15 | 1 | -1/+2 |
| | | |||||
| * | Fix run_command() when using -format and -viewer in show pass. | William D. Jones | 2018-08-15 | 1 | -2/+18 |
| | | |||||
* | | Revision to expose option in setundef pass | Aman Goel | 2018-08-18 | 1 | -154/+123 |
| | | | | | | | | | | | | Corrects indentation Simplifications and corrections | ||||
* | | Merge pull request #3 from YosysHQ/master | Aman Goel | 2018-08-18 | 121 | -263/+411 |
|\| | | | | | Updates from official repo |