Advanced Techniques in Logic Synthesis, Optimizations and Applications - Gulati, Kanupriya (Springer New York, 2011)