The default input and output file formats are compatible with the Berkeley standard format for the physical description of a PLA. The input format is described in detail in espresso(5). Note that the input file is a log- ical representation of a set of Boolean equations, and hence the input format differs slightly from that described in pla(5) (which provides for the physical rep- resentation of a PLA). The input and output formats have been expanded to allow for multiple-valued logic func- tions, and to allow for the specification of the don't- care set which will be used in the minimization.
A complete list of the command line options is given below. Be warned that many of the command line options are not intended for general use.
R. Brayton, G. Hachtel, C. McMullen, and A. Sangiovanni- Vincentelli, Logic Minimization Algorithms for VLSI Syn- thesis, Kluwer Academic Publishers, 1984.
P. McGeer, J. Sanghavi, R. Brayton, and A. Sangiovanni- Vincentelli, "Espresso-Signature: A New Exact Minimizer for Logic Functions," Design Automation Conf., Dallas, Jun 1993.
R. Rudell, A. Sangiovanni-Vincentelli, "Espresso-MV: Algo- rithms for Multiple-Valued Logic Minimization," Proc. Cust. Int. Circ. Conf., Portland, May 1985.
R. Rudell, "Multiple-Valued Minimization for PLA Synthe- sis," Master's Report, University of California, Berkeley, June 1986.
R. Rudell, A. Sangiovanni-Vincentelli, "Exact Minimization of Multiple-Valued Functions for PLA Optimization", Int. Conf. Comp. Aid. Des., Santa Clara, November 1986.
J. Sanghavi, "Espresso-Signature: A New Exact Minimizer for Logic Functions," Master's Report, University of Cali- fornia, Berkeley, May 1993.
Arpanet mail address is rudell@ic.Berkeley.EDU.
It is no longer possible to specify the type on the command line.
There are a lot of options, but typical use doesn't need them.
This manual page refers to Version 2.4 of Espresso. The major change from Version 2.3 to Version 2.4 is the addi- tion of a new exact minimizer based on signature cubes (-D signature subcommand).