Verilog® Quickstart - nidottu, Englanti, 2013