The purpose of the book is to train verification engineers on the breadth of technologies available and to give them a utilitarian methodology for making effective use of those technologies.
The book is easy to understand and a joy to read. Its organization follows a 'typical' verification project from inception to completion, (planning to closure). The book elucidates concepts using non-technical terms and clear entertaining explanations. Analogies to other fields are employed to keep the book light-hearted and interesting.
- ISBN13 9780387381510
- Publish Date 5 June 2007 (first published 1 January 2007)
- Publish Status Active
- Publish Country US
- Imprint Springer-Verlag New York Inc.
- Edition 2007 ed.
- Format Hardcover
- Pages 361
- Language English