Creating Assertion-Based IP (Integrated Circuits and Systems)

by HarryD.Foster (Author), Adam C . Krolnik (Author)

New
Hardcover
2007
$185.20

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 is the first book published on this subject.

Synopsis

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 is the first book published on this subject.

$185.20

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 312
Publisher: Springer
Published: 06 Dec 2007
ISBN 10: 0387366415
ISBN 13: 9780387366418

Creating Assertion-Based IP (Integrated Circuits and Systems)

New

$185.20

Synopsis

$185.20

More Information