Digital VLSI design with verilog : A textbook from silicon valley polytechnic institute - Williams, John Michael (Springer, 2014)