Logic Synthesis for Field-Programmable Gate Arrays - Alberto L. Sangiovanni-Vincentelli - E-bok | Bokus