856 APPENDIX B / COMPUTER-AIDED ENGINEERING TOOLS
and the computer memory requirements are minimal. See Further Reading at the end of this
appendix for more information about BOOZER and its basic algorithm.
ESPRESSO II is a well known software tool used widely for minimization of large
Boolean functions. It is also available through the University of California, Berkeley,
1986 VLSI tools distribution. It supports advanced algorithms for minimization of two-level,
multi-output Boolean functions but does not accept EVs. The algorithms for ESPRESSO
are described in an article by Rudell cited in Further Reading at the end of this appendix.
ADAM (for Automated Design of Asynchronous Machines) is a unique, versatile and
powerful software tool that permits ...