Verilog by Example - pocket, Engelska, 2011