Robert K Brayton

• Logic Minimization Algorithms for VLSI Synthesis