Design verification with e - Palnitkar, Samir (Upper Saddle River, NJ : Prentice Hall PTR, 2004)
Περιέχει βιβλιογραφία και ευρετήριο.
Keywords: Computer hardware description languages; Integrated circuits -- Verification; Integrated circuits -- Design and construction