yosys/passes/cmds
whitequark a342d6db49 bugpoint: new pass.
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.)
2019-01-07 03:13:19 +00:00
..
Makefile.inc bugpoint: new pass. 2019-01-07 03:13:19 +00:00
add.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
blackbox.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
bugpoint.cc bugpoint: new pass. 2019-01-07 03:13:19 +00:00
check.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
chformal.cc Fix typographical and grammatical errors and inconsistencies. 2019-01-02 13:12:17 +00:00
chtype.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
connect.cc Fix typographical and grammatical errors and inconsistencies. 2019-01-02 13:12:17 +00:00
connwrappers.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
copy.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
cover.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
delete.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
design.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
edgetypes.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
logcmd.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
ltp.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
plugin.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
qwp.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
rename.cc Rename cells based on the wires they drive. 2019-01-06 19:00:16 +13:00
scatter.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
scc.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
select.cc Fix typographical and grammatical errors and inconsistencies. 2019-01-02 13:12:17 +00:00
setattr.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
setundef.cc Fix typographical and grammatical errors and inconsistencies. 2019-01-02 13:12:17 +00:00
show.cc Fix typographical and grammatical errors and inconsistencies. 2019-01-02 13:12:17 +00:00
splice.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
splitnets.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
stat.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
tee.cc Fix typographical and grammatical errors and inconsistencies. 2019-01-02 13:12:17 +00:00
torder.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
trace.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
write_file.cc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00