Issue No. 05 - September/October (2005 vol. 22)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDT.2005.121
Grant Martin , Tensilica
<em>Comprehensive Functional Verification</em>, by Bruce Wile, John C. Goss, and Wolfgang Roesner (Morgan Kaufmann, 2005, ISBN 0-12-751803-7, 704 pp., $59.95). <p>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.</p>
functional verification, complex ICs, dynamic verification, formal verification, verification methodologies, hardware verification languages
G. Martin, "Verification by the pound," in IEEE Design & Test of Computers, vol. 22, no. , pp. 478-479, 2005.