Abstract :
Comprehensive Functional Verification, by Bruce Wile, John C. Goss, and Wolfgang Roesner (Morgan Kaufmann, 2005, ISBN 0-12-751803-7, 704 pp., $59.95). This new verification book lives up to its title—it is by far one of the most comprehensive books on verification. The authors have structured the volume to first and foremost cover verification as a disciplined methodology, and have placed all the different topics into an overall functional verification cycle. The book is divided into five major parts: an introductory survey of verification; a detailed description of simulation-based dynamic verification; formal verification; verification methodologies and advanced techniques; and case studies.
Keywords :
complex ICs; dynamic verification; formal verification; functional verification; hardware verification languages; verification methodologies; Books; Electronic design automation and methodology; Eyes; Formal verification; Hardware design languages; Libraries; Specification languages; Taxonomy; Testing; Web pages; complex ICs; dynamic verification; formal verification; functional verification; hardware verification languages; verification methodologies;
