u91@nikhefh.hep.nl (Simon Goble) (08/02/89)
Does anyone have any info on the logic reduction program 'Espresso #2.2' from UC Berkeley? We have just got around to installing ABEL_3.1 and while investigating the REDUCE program with the Espresso option (it complains that it can't find it -anywhere!) have been experimenting with Espresso on its own. The reason for the interest is that I would like to use ABEL to describe our state machines and then use its output to generate a low level gate description for a gate array. What would be really useful is something that would take the sums of product terms and turn them into 2->4 input NAND/NOR logic. u91@nikhefh.hep.nl (Simon Goble) -- Organization: NIKHEF-H, National Institute for Nuclear and High-Energy Physics Address: Kruislaan 409, P.O. Box 41882, 1009 DB Amsterdam, the Netherlands Phone: (+31) 020 5925101 Fax (+31) 020-5925155 Telex: 10262 (hef nl) Internet: u91@nikhefh.hep.nl