by HamiltonCarter (Author), ShankarG.Hemmady (Editor)
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.
Format: Hardcover
Pages: 350
Publisher: Springer
Published: 26 Jun 2007
ISBN 10: 0387381511
ISBN 13: 9780387381510