Design verification with e - Palnitkar, Samir (Pearson Education (Singapore) New Delhi, 2004)
Keywords: Computer Architecture; Computer hardware description languages; Integrated circuits -- Verification