Digital VLSI design with verilog a textbook from silicon valley technical institute - Williams, John (Springer, 2008)