Principles of VLSI RTL Design A Practical Guide - Churiwala, Sanjay; Garg, Sapan (Springer New York, 2011)