aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
...
* | | | Merge pull request #735 from daveshah1/trifixesClifford Wolf2018-12-161-3/+4
|\ \ \ \
| * | | | deminout: Consider $tribuf cellsDavid Shah2018-12-121-2/+2
| * | | | deminout: Don't demote constant-driven inouts to inputsDavid Shah2018-12-121-1/+2
| |/ / /
* | | | Fix equiv_opt indentingClifford Wolf2018-12-161-139/+129
* | | | Merge pull request #724 from whitequark/equiv_optClifford Wolf2018-12-162-1/+168
|\ \ \ \
| * | | | equiv_opt: pass -D EQUIV when techmapping.whitequark2018-12-071-2/+4
| * | | | equiv_opt: new command, for verifying optimization passes.whitequark2018-12-072-1/+166
* | | | | Merge pull request #734 from grahamedgecombe/fix-shuffled-bram-initdataClifford Wolf2018-12-161-0/+17
|\ \ \ \ \
| * | | | | memory_bram: Fix initdata bit order after shufflingGraham Edgecombe2018-12-111-0/+17
| | |/ / / | |/| | |
* | | | | Merge pull request #714 from daveshah1/abc_preserve_namingClifford Wolf2018-12-161-29/+51
|\ \ \ \ \
| * | | | | abc: Preserve naming through ABC using 'dress' commandDavid Shah2018-12-061-29/+51
* | | | | | Merge pull request #722 from whitequark/rename_srcClifford Wolf2018-12-161-0/+50
|\ \ \ \ \ \
| * | | | | | rename: add -src, for inferring names from source locations.whitequark2018-12-051-0/+50
| | |_|/ / / | |/| | | |
* | | | | | Merge pull request #720 from whitequark/masterClifford Wolf2018-12-162-2/+2
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | |
| * | | | | lut2mux: handle 1-bit INIT constant in $lut cells.whitequark2018-12-051-1/+1
| * | | | | opt_lut: simplify type conversion. NFC.whitequark2018-12-051-1/+1
| |/ / / /
* | | | | opt_lut: leave intact LUTs with cascade feeding module outputs.whitequark2018-12-071-0/+6
* | | | | opt_lut: show original truth table for both cells.whitequark2018-12-071-2/+3
* | | | | opt_lut: add -limit option, for debugging misoptimizations.whitequark2018-12-071-3/+21
| |/ / / |/| | |
* | | | Bugfix in opt_expr handling of a<0 and a>=0Clifford Wolf2018-12-061-1/+1
|/ / /
* | | Rename opt_lut.cpp to opt_lut.ccClifford Wolf2018-12-051-0/+0
* | | opt_lut: add -dlogic, to avoid disturbing logic such as carry chains.whitequark2018-12-051-17/+163
* | | opt_lut: always prefer to eliminate 1-LUTs.whitequark2018-12-051-19/+41
* | | opt_lut: collect and display statistics.whitequark2018-12-051-4/+33
* | | opt_lut: refactor to use a worker. NFC.whitequark2018-12-051-170/+177
* | | opt_lut: new pass, to combine LUTs for tighter packing.whitequark2018-12-052-0/+275
* | | Fix typoClifford Wolf2018-12-041-1/+1
* | | Merge pull request #702 from smunaut/min_ce_useClifford Wolf2018-12-041-1/+36
|\ \ \
| * | | dff2dffe: Add option for unmap to only remove DFFE with low CE signal useSylvain Munaut2018-11-271-1/+36
* | | | Merge pull request #676 from rafaeltp/masterClifford Wolf2018-12-011-10/+17
|\ \ \ \ | |/ / / |/| | |
| * | | using [i] to access individual bits of SigSpec and merging bits into a tmp Si...rafaeltp2018-10-211-11/+12
| * | | cleaning up for PRrafaeltp2018-10-201-2/+2
| * | | fixing code stylerafaeltp2018-10-201-1/+1
| * | | solves #675rafaeltp2018-10-201-11/+17
* | | | Add iteration limit to "opt_muxtree"Clifford Wolf2018-11-201-1/+17
* | | | DFFLIBMAP: changed 'missing pin' error into a warning with additional reason/...Niels Moseley2018-11-061-1/+10
* | | | Allow square brackets in liberty identifiersClifford Wolf2018-11-051-2/+2
* | | | Liberty file newline handling is more relaxed. More descriptive error messageNiels Moseley2018-11-031-4/+7
* | | | Report an error when a liberty file contains pin references that reference no...Niels Moseley2018-11-031-0/+3
|/ / /
* | | Refactor code to avoid code duplication + added commentsRuben Undheim2018-10-201-2/+5
* | | Support for SystemVerilog interfaces as a port in the top level module + test...Ruben Undheim2018-10-201-5/+36
* | | Merge pull request #672 from daveshah1/fix_bramClifford Wolf2018-10-191-0/+1
|\ \ \
| * | | memory_bram: Reset make_outreg when growing read portsDavid Shah2018-10-191-0/+1
* | | | Merge pull request #659 from rubund/sv_interfacesClifford Wolf2018-10-181-7/+188
|\ \ \ \
| * | | | Documentation improvements etc.Ruben Undheim2018-10-131-27/+38
| * | | | Support for 'modports' for System Verilog interfacesRuben Undheim2018-10-121-1/+13
| * | | | Synthesis support for SystemVerilog interfacesRuben Undheim2018-10-121-7/+165
| |/ / /
* | | | stop check_signal_in_fanout from traversing FFstklam2018-10-131-2/+2
* | | | stop check_signal_in_fanout from traversing FFstklam2018-10-131-1/+12
* | | | fix bug: pass by referencetklam2018-09-261-1/+1