Verilog by Example - pocket, Engelsk, 2011