Symbolic Design of Combinational and Sequential Logic Circuits Implemented by Two-Level Logic MacrosGiovanni De Micheli1986IEEE TCADIS
Optimal State Assignment for Finite State MachinesGiovanni De MicheliRobert K. Braytonet al.1985IEEE TCADIS