Verilog® Quickstart - häftad, Engelska, 2013