The first public release of ITEM, UCSC's logic minimizer using if-then-else DAGs, was made 2 January 1991. The system is available by anonymous ftp from ftp://ftp.cse.ucsc.edu/pub/item/item.tar.Z . Also available are tech reports about the algorithms and data structures (88-28, 88-29, and 90-43).
ITEM can also be found at ftp://ftp.cse.ucsc.edu/pub/item directory.
This document was translated by ms2html v1.7 on 16.01.97. OMN
[an error occurred while processing this directive]