Advanced Techniques in Logic Synthesis, Optimizations and Applications - Khatri, Sunil P.; Gulati, Kanupriya (Springer New York, 2011)