Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!uunet!mcsun!ukc!servax0!csc2.essex.ac.uk!martin
From: martin@csc2.essex.ac.uk (Colley M)
Newsgroups: comp.lsi.cad
Subject: State Machine Compilers
Message-ID: <5309@servax0.essex.ac.uk>
Date: 13 Jun 91 15:16:29 GMT
Sender: news@servax0.essex.ac.uk
Reply-To: martin@csc2.essex.ac.uk (Colley M)
Organization: University of Essex, Colchester, UK
Lines: 20

Hi

I am looking for a compiler/translator (public domain) that will take
a description of a state machine and produce the equivalent logical
equations.

I have previously used CUPL for this purpose but that requires the state
machine to fit into one of the PALs that CUPL knows about.  The state machine
I am currently working on is too large to take this route.

Does anybody have or know about such a program.


Thanks in advance


Martin Colley


email: martin@uk.ac.essex