Logic Synthesis For Field-Programmable Gate Arrays door Rajeev Murgai, Robert K. Brayton & Alberto Sangiovanni-Vincentelli