The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September/October (2005 vol.22)
pp: 478-479
Grant Martin , Tensilica
ABSTRACT
<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>
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, September/October 2005, doi:10.1109/MDT.2005.121
67 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool