Verilog(R) Hardware Description Language - e-bok, Engelsk, 2012