Logic Optimization and Synthesis Techniques with Area-Power Trade-offs by Sambhu Nath Pradhan