Logic Synthesis: Past and Future Alan Mishchenko UC Berkeley.
Introduction to Logic Synthesis Alan Mishchenko UC Berkeley.