Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!pacbell.com!att!ucbvax!canuck.Berkeley.EDU!luciano
From: luciano@canuck.Berkeley.EDU (Luciano Lavagno)
Newsgroups: comp.lsi.cad
Subject: Re: State Machine Compilers
Message-ID: <42401@ucbvax.BERKELEY.EDU>
Date: 16 Jun 91 18:32:52 GMT
References: <21422@cadillac.CAD.MCC.COM> <10809@idunno.Princeton.EDU>
Sender: nobody@ucbvax.BERKELEY.EDU
Reply-To: luciano@canuck.Berkeley.EDU (Luciano Lavagno)
Organization: UC Berkeley IC CAD Group
Lines: 14

stamina, a program written by June Rho at the University of Colorado,
Boulder, does state machine minimization. Send mail to
rho@boulder.colorado.edu for more information. It's very good, even
though it can take a long time to complete on large FSM's. It can do
exact minimization of incompletely specified FSM's.
Bye !
Luciano
-- 
+----------------------------+------------------------------------+
|Luciano Lavagno             |  E-mail: luciano@ic.Berkeley.EDU   |
|Dept of EECS, Rm. 550B2-69  |                                    |
|UC Berkeley                 |  Phone: (415) 642-5012             |
|Berkeley, CA  94720 (USA)   |                                    |
+----------------------------+------------------------------------+