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