Taxonomies for the Development and Verification of Digital Systems

Taxonomies for the Development and Verification of Digital Systems

by Brian Bailey (Editor), Grant Martin (Editor), Grant Martin (Editor), Brian Bailey (Editor), Thomas Anderson (Editor)

Synopsis

Thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementation

Considering both the hardware and software components of the system

Also covers the emerging area of platform-based design

Provides both knowledge of models and terms, and understanding of these models and how they are used.

$94.00

Save:$7.09 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 200
Edition: Softcover reprint of hardcover 1st ed. 2005
Publisher: Springer
Published: 29 Oct 2010

ISBN 10: 1441936815
ISBN 13: 9781441936813

Author Bio

Brian Bailey is an independent functional verification consultant helping system designers improve their verification efficiency, and providing guidance and technology services to small start-up companies. He has spent over 20 years creating verification solutions in a number of EDA companies and in recent years has spent most of his time helping the industry understand how and when to adopt new verification methodologies.

Grant Martin is a chief scientist at Tensilica, Inc. in Santa Clara, CA. Prior to Tensilica, Grant worked at Burroughs in Scotland for 6 years, BNR/Nortel in Canada for 10 years, and Cadence for 9 years. His main areas of interest are IP-based design, platform-based design of SoC, and system-level design.

Thomas Anderson is a Director of Technical Marketing at Synopsys, Inc. in Mountain View, CA and chair of the VSIA functional verification working group. Previously he was Vice President of Applications Engineering at 0-In and Vice President of Engineering at Virtual Chips. He has authored over 100 papers and technical articles on verification, IP and interface standards.