aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Mostly coding style related fixes in rmports passClifford Wolf2017-08-151-30/+33
|
* Merge branch 'rmports' of https://github.com/azonenberg/yosys into ↵Clifford Wolf2017-08-152-0/+185
|\ | | | | | | azonenberg-rmports
| * rmports: Now remove ports from cell instances if we optimized them out of ↵Andrew Zonenberg2017-08-141-2/+35
| | | | | | | | that cell
| * ProcessModule is no longer virtual (why was it in the first place?)Andrew Zonenberg2017-08-141-1/+1
| |
| * rmports now works on all modules in the design, not just the top.Andrew Zonenberg2017-08-141-4/+7
| |
| * Updated Makefile to reflect opt_rmports being renamed to rmportsAndrew Zonenberg2017-08-141-1/+1
| |
| * Renamed opt_rmports pass to rmportsAndrew Zonenberg2017-08-141-5/+5
| |
| * Improved handling of constant connections in opt_rmportsAndrew Zonenberg2017-08-141-0/+2
| |
| * Fixed handling of cell ports that aren't wiresAndrew Zonenberg2017-08-141-0/+3
| |
| * opt_rmports: Fixed incorrect handling of multi-bit netsAndrew Zonenberg2017-08-141-12/+27
| |
| * Removed commented out debug codeAndrew Zonenberg2017-08-141-4/+0
| |
| * Added opt_rmports pass (remove unconnected ports from top-level modules)Andrew Zonenberg2017-08-142-0/+133
| |
* | abc: Allow +/ filenames in the abc commandRobert Ou2017-08-141-0/+3
|/
* Add support for set-reset cell variants to opt_rmdffClifford Wolf2017-08-091-0/+182
|
* Add handling of constant reset signals to opt_rmdffClifford Wolf2017-08-061-1/+23
|
* Fix typo in "abc" pass help messageClifford Wolf2017-07-291-1/+1
|
* Add consolidation of init attributes to opt_clean, some opt_clean log fixesClifford Wolf2017-07-291-6/+82
|
* Add "opt_expr -fine" feature to remove neutral bits from reduce and logic ↵Clifford Wolf2017-07-261-0/+47
| | | | operators
* Add error for cell output ports that are connected to constantsClifford Wolf2017-07-221-20/+21
|
* Fix handling of empty cell port assignments (i.e. ignore them)Clifford Wolf2017-07-212-0/+6
|
* Add $alu to list of supported cells for "stat -width"Clifford Wolf2017-07-141-1/+1
|
* Excluded $_TBUF_ from opt_merge passSalvador E. Tropea2017-07-031-0/+1
|
* Fix and_or_buffer optimization in opt_expr for signed operatorsClifford Wolf2017-07-011-2/+2
|
* Add "design -import"Clifford Wolf2017-06-301-3/+94
|
* Add chtype commandClifford Wolf2017-06-302-0/+84
|
* Add $tribuf to opt_merge blacklistClifford Wolf2017-06-301-0/+1
|
* Fix handling of init values in "abc -dff" and "abc -clk"Clifford Wolf2017-06-201-131/+176
|
* Switched abc "clock domain not found" error to log_cmd_error()Clifford Wolf2017-06-201-24/+28
|
* Add "setundef -anyseq"Clifford Wolf2017-05-282-3/+44
|
* Improve write_aiger handling of unconnected nets and constantsClifford Wolf2017-05-281-1/+1
|
* Add aliases for common sets of gate types to "abc -g"Clifford Wolf2017-05-241-2/+74
|
* Add $_ANDNOT_ and $_ORNOT_ gatesClifford Wolf2017-05-171-21/+41
|
* Fix equiv_simple, old behavior now available with "equiv_simple -short"Clifford Wolf2017-04-281-10/+41
|
* Squelch trailing whitespaceLarry Doolittle2017-04-124-7/+7
|
* Fix gcc compiler warningClifford Wolf2017-04-051-1/+1
|
* Disable opt_merge for $anyseq and $anyconstClifford Wolf2017-02-281-0/+3
|
* Add "chformal -assert2assume" and friendsClifford Wolf2017-02-281-0/+44
|
* Add "chformal" passClifford Wolf2017-02-272-0/+239
|
* Add $live and $fair cell types, add support for s_eventually keywordClifford Wolf2017-02-253-4/+2
|
* Copy attributes to _TECHMAP_REPLACE_ cellsClifford Wolf2017-02-161-2/+8
|
* Do not fix port widths on any blackbox instancesClifford Wolf2017-02-131-1/+1
|
* Fix techmap for inout ports connected to inout portsClifford Wolf2017-02-131-2/+7
|
* Do not eagerly fix port widths on parameterized cellsClifford Wolf2017-02-121-0/+3
|
* Fixed some "used uninitialized" warnings in opt_exprClifford Wolf2017-02-111-1/+2
|
* Add optimization of (a && 1'b1) and (a || 1'b0)Clifford Wolf2017-02-111-7/+22
|
* Fix issue #306, "Bug in opt -full"C-Elegans2017-02-101-1/+19
| | | | | | Add check for whether the high bit in the constant expression is greater than the width of the variable, and optimizes that to a constant 1 or 0
* Fix handling of init attributes with strange widthClifford Wolf2017-02-092-3/+9
|
* Add $cover cell type and SVA cover() supportClifford Wolf2017-02-042-2/+2
|
* Update ABC scripts to use "&nf" instead of "map"Clifford Wolf2017-02-011-3/+3
|
* Fix indenting and log messages in code merged from opt_compare_prClifford Wolf2017-01-311-102/+120
|