Writing testbenches functional verification of HDL models - Bergeron, Janick; ebrary, Inc. (New York : Kluwer Academic, 2002)
Includes index.
Electronic reproduction.
Keywords: Computer hardware description languages; Integrated circuits -- Verification; Electronic books