Practical Design Verification (Hardcover, New)

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT).

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Release date:	June 2009
First published:	2009
Authors:	Dhiraj K. Pradhan • Ian G. Harris
Dimensions:	254 x 177 x 17mm (L x W x T)
Format:	Hardcover
Pages:	288
Edition:	New
ISBN-13:	978-0-521-85972-1
Categories:	Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Electronic devices & materials > General
LSN:	0-521-85972-7
Barcode:	9780521859721

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!