[sci.electronics] logic minimisation

aph@cix.compulink.co.uk (Andrew Haley) (05/30/91)

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.