aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds
Commit message (Collapse)AuthorAgeFilesLines
* Switch "bugpoint" from system() to run_command()Clifford Wolf2019-01-071-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* bugpoint: new pass.whitequark2019-01-072-1/+370
| | | | | | | | | | | | | | | | | | | | | | | A typical use of `bugpoint` would involve a script with a pass under test, e.g.: flowmap -relax -optarea 100 and would be invoked as: bugpoint -yosys ./yosys -script flowmap.ys -clean -cells This replaces the current design with the minimal design that still crashes the `flowmap.ys` script. `bugpoint` can also be used to perform generic design minimization using `select`, e.g. the following script: select i:* %x t:$_MUX_ %i -assert-max 0 would remove all parts of the design except for an unbroken path from an input to an output port that goes through exactly one $_MUX_ cell. (The condition is inverted.)
* Rename cells based on the wires they drive.Scott Mansell2019-01-061-0/+66
|
* Fix typographical and grammatical errors and inconsistencies.whitequark2019-01-026-10/+10
| | | | | | | | | | | | The initial list of hits was generated with the codespell command below, and each hit was evaluated and fixed manually while taking context into consideration. DIRS="kernel/ frontends/ backends/ passes/ techlibs/" DIRS="${DIRS} libs/ezsat/ libs/subcircuit" codespell $DIRS -S *.o -L upto,iff,thru,synopsys,uint More hits were found by looking through comments and strings manually.
* Merge pull request #736 from whitequark/select_assert_listClifford Wolf2018-12-161-8/+50
|\ | | | | select: print selection if a -assert-* flag causes an error
| * select: print selection if a -assert-* flag causes an error.whitequark2018-12-161-8/+50
| |
* | rename: add -src, for inferring names from source locations.whitequark2018-12-051-0/+50
|/
* Merge pull request #625 from aman-goel/masterClifford Wolf2018-09-141-1/+7
|\ | | | | Minor revision to -expose in setundef pass
| * Minor revision to -expose in setundef passAman Goel2018-09-101-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.
* | Merge pull request #606 from cr1901/show-winClifford Wolf2018-08-191-3/+20
|\ \ | |/ |/| `show` pass `-format` and `-viewer` improvements on Windows
| * Update show pass documentation with Windows caveats.William D. Jones2018-08-151-1/+2
| |
| * Fix run_command() when using -format and -viewer in show pass.William D. Jones2018-08-151-2/+18
| |
* | Revision to expose option in setundef passAman Goel2018-08-181-154/+123
| | | | | | | | | | | | Corrects indentation Simplifications and corrections
* | Merge pull request #3 from YosysHQ/masterAman Goel2018-08-1830-77/+76
|\| | | | | Updates from official repo
| * Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-2030-77/+76
| | | | | | | | | | | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
* | Merging with official repoAman Goel2018-07-042-26/+50
|\|
| * Include module name for area summary statsEdmond Cote2018-06-181-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The PR prints the name of the module when displaying the final area count. Pros: - Easier for the user to `grep` for area information about a specific module Cons: - Arguably more verbose, less "pretty" than author desires Verification: ~~~~ 30c30 < Chip area for this module: 20616.349000 --- > Chip area for module '$paramod$d1738fc0bb353d517bc2caf8fef2abb20bced034\picorv32': 20616.349000 70c70 < Chip area for this module: 88.697700 --- > Chip area for module '\picorv32_axi_adapter': 88.697700 102c102 < Chip area for this module: 20705.046700 --- > Chip area for top module '\picorv32_axi': 20705.046700 ~~~~
| * Add setundef -anyseq / -anyconst support to -undriven modeClifford Wolf2018-06-011-3/+11
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add "setundef -anyconst"Clifford Wolf2018-06-011-20/+41
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Correction to -expose with setundefAman Goel2018-05-151-0/+1
| |
* | Minor correctionAman Goel2018-05-141-2/+1
| | | | | | | | Minor typo error correction in -expose with setundef
* | Corrections to option -expose in setundef passAman Goel2018-05-131-16/+141
| |
* | Add option -expose to setundef passAman Goel2018-05-131-6/+26
|/ | | | | | Option -expose converts undriven wires to inputs. Example usage: setundef -undriven -expose [selection]
* Some cleanups in setundef.ccClifford Wolf2018-05-131-0/+7
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "#ifdef __FreeBSD__"Christian Krämer2018-05-131-1/+1
| | | | (Re-commit e3575a8 with corrected author field)
* Revert "Add "#ifdef __FreeBSD__""Clifford Wolf2018-05-131-1/+1
| | | | This reverts commit e3575a86c525f2511902e7022893c3923ba8093e.
* Add "#ifdef __FreeBSD__"Johnny Sorocil2018-05-051-1/+1
|
* Add "setundef -undef"Clifford Wolf2018-03-121-0/+11
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix connwrappers help messageClifford Wolf2018-03-041-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Recognize stand-alone obj pattern even when it contains a slashClifford Wolf2018-02-131-0/+3
|
* Add support for "yosys -E"Clifford Wolf2018-01-076-0/+11
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add support for editline as replacement for readlineClifford Wolf2017-11-081-0/+4
|
* Add "ltp" commandClifford Wolf2017-10-312-0/+186
|
* Add blackbox commandClifford Wolf2017-10-042-0/+82
|
* More intuitive handling of "cd .." for singleton modulesClifford Wolf2017-08-191-2/+38
|
* Add $alu to list of supported cells for "stat -width"Clifford Wolf2017-07-141-1/+1
|
* Add "design -import"Clifford Wolf2017-06-301-3/+94
|
* Add chtype commandClifford Wolf2017-06-302-0/+84
|
* Add "setundef -anyseq"Clifford Wolf2017-05-281-2/+42
|
* Improve write_aiger handling of unconnected nets and constantsClifford Wolf2017-05-281-1/+1
|
* Fix gcc compiler warningClifford Wolf2017-04-051-1/+1
|
* Add "chformal -assert2assume" and friendsClifford Wolf2017-02-281-0/+44
|
* Add "chformal" passClifford Wolf2017-02-272-0/+239
|
* Added "check -initdrv"Clifford Wolf2017-01-041-3/+82
|
* Added "design -reset-vlog"Clifford Wolf2016-11-301-7/+32
|
* Added wire start_offset and upto handling to splitnets cmdClifford Wolf2016-11-231-2/+8
|
* Bugfix in "setundef" passClifford Wolf2016-11-081-2/+7
|
* Implemented "scc -set_attr"Clifford Wolf2016-11-061-22/+32
|
* Bugfix in "scc" commandClifford Wolf2016-11-061-9/+11
|
* Added "setparam -type"Clifford Wolf2016-10-191-3/+13
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-01 12:41:40 +0000