 
   July 1, 1994                                                        SIS(1)
 
   simplify [-d][-i <num>[:<num>]] [-m method] [-f filter] [node-list]
 
     Simplify each node in the node-list using method with the don't-care set
     generated according to dctype.
 
     method specifies the algorithm used to minimize the nodes.  snocomp
     (default) invokes a single pass minimization procedure that does not
     compute the complete offset.  nocomp invokes the full minimization pro-
     cedure (ala ESPRESSO) but does not compute the complete offset.  dcsimp
     invokes single pass tautology-based minimizer.
 
     dctype specifies how the don't-care set is generated.  The default don't
     care set generated is a subset of the fanin don't care set.  -d option
     specifies that no don't care set is used.  -i m:n specifies that the
     fanin don't cares of nodes within m levels of transitive fanin and n
     levels of transitive fanout of these transitive fanin are to be gen-
     erated.
 
     filter specifies how the don't-care set is filtered.  exact (default)
     uses the exact filter.  disj_sup uses the disjoint support filter.
 
     Note that a node function is replaced with the simplified version if the
     new function has fewer literals in factored form.  In the case of a tie,
     the node function is replaced if the new function has fewer literals in
     sum-of-products form.
 
                                                                            1
