This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
September/October 2005 (vol. 22 no. 5)
pp. 478-479
Grant Martin, Tensilica
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.

Index Terms:
functional verification, complex ICs, dynamic verification, formal verification, verification methodologies, hardware verification languages
Citation:
Grant Martin, "Verification by the pound," IEEE Design & Test of Computers, vol. 22, no. 5, pp. 478-479, Sept.-Oct. 2005, doi:10.1109/MDT.2005.121
Usage of this product signifies your acceptance of the Terms of Use.