The verilog hardware description language - Thomas, Donald E. (Springer, 2002)