aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* recover_reduce: Rename recover_reduce_core to recover_reduceRobert Ou2017-08-273-101/+0
* recover_reduce: Add driver script for the $reduce_* recover featureRobert Ou2017-08-272-0/+101
* recover_reduce_core: Finish implementing the core functionRobert Ou2017-08-271-0/+110
* recover_reduce_core: Initial commitRobert Ou2017-08-272-0/+110
* Don't track , ... contradictions through x/z-bitsClifford Wolf2017-08-251-1/+4
* Add removing of redundant pairs of bits in ==, ===, !=, and !== to opt_exprClifford Wolf2017-08-251-0/+72
* Further improve extract_fa (seems to be fully functional now)Clifford Wolf2017-08-251-10/+226
* Rename "adders" to "extract_fa"Clifford Wolf2017-08-252-28/+16
* Towards more generic "adder" function extractorClifford Wolf2017-08-231-202/+53
* Add experimental adders passClifford Wolf2017-08-222-0/+447
* Remove some dead code from fsm_mapClifford Wolf2017-08-211-3/+0
* Rename "singleton" pass to "uniquify"Clifford Wolf2017-08-203-21/+22
* More intuitive handling of "cd .." for singleton modulesClifford Wolf2017-08-191-2/+38
* Add "sim -zinit -rstlen"Clifford Wolf2017-08-181-1/+53
* Add "sim" support for memoriesClifford Wolf2017-08-181-2/+136
* Add support for assert/assume/cover to "sim" commandClifford Wolf2017-08-181-4/+47
* Add writeback mode to "sim" commandClifford Wolf2017-08-171-0/+44
* Improve "sim" commandClifford Wolf2017-08-171-54/+272
* Add "sim" command skeletonClifford Wolf2017-08-162-0/+372
* Mostly coding style related fixes in rmports passClifford Wolf2017-08-151-30/+33
* Merge branch 'rmports' of https://github.com/azonenberg/yosys into azonenberg...Clifford Wolf2017-08-152-0/+185
|\
| * rmports: Now remove ports from cell instances if we optimized them out of tha...Andrew Zonenberg2017-08-141-2/+35
| * 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 ope...Clifford Wolf2017-07-261-0/+47
* 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