[net.wanted.sources] logic gate description to ENF translator?

partha@ihlpa.UUCP (Partha Raghavachari) (03/28/85)

*** REPLACE THIS LINE WITH YOUR MESSAGE ***
Does anyone know of or have a program that automatically translates a gate
level description of combinational logic into its equivalent normal form
(disjunctive or conjunctive)? I would appreciate any help.
        
         Thanks,                                    Partha Raghavachari
                                                    AT&T BL, Naperville, IL.