Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!sdd.hp.com!wuarchive!uunet!mcsun!ukc!slxsys!ibmpcug!demon!news
From: aph@cix.compulink.co.uk (Andrew Haley)
Newsgroups: comp.lsi.cad
Subject: logic mimimisation
Message-ID: <1991May30.124406.21242@demon.co.uk>
Date: 30 May 91 12:44:06 GMT
Sender: news@demon.co.uk (C-News Owner)
Reply-To: Andrew Haley <aph@cix.compulink.co.uk>
Organization: Gated to News by demon.co.uk
Lines: 20

I have a problem, which I wondered if anyone out there had a
solution to:

I have a system of boolean equations.  I need to convert this
system, which may be recursive, into a nonrecursive system.

Any feedback terms should, if possible, be converted into latches,
either attached to inputs or outputs.

Does this problem sound familiar to anyone?  Is there a commercial
package which does this sort of thing?

Thanks, Andrew.