This Article 
 Bibliographic References 
 Add to: 
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
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.