Creating Assertion-Based IP (Hardcover, 2008 ed.)

This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussions Note that there many books published on assertion languages (such as SystemVerilog assertions and PSL). Yet, none of them discuss the important process of testplanning and using these languages to create verification IP. This is the first book published on this subject.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	Integrated Circuits and Systems
Release date:	November 2007
First published:	2008
Authors:	Harry D. Foster • Adam C. Krolnik
Dimensions:	235 x 155 x 19mm (L x W x T)
Format:	Hardcover
Pages:	318
Edition:	2008 ed.
ISBN-13:	978-0-387-36641-8
Categories:	Books > Professional & Technical > Electronics & communications engineering > General
LSN:	0-387-36641-5
Barcode:	9780387366418

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!