SMS versenden: Logic synthesis for field-programmable gate arrays / by Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli.