The Verilog Pli Handbook Second Edition [with Cdrom] by Stuart Sutherland