The Verilog Hardware Description Language - Thomas, Donald E. (Springer)