Principles of VLSI RTL Design