Verilog(R) Hardware Description Language - e-kirja, Englanti, 2012