Principles of functional verification

Andreas S. Meyer

206 pages, parution le 31/12/2003

Ajouter à une liste

Indisponible

Résumé

As design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of Functional Verification is a hands-on, practical text that will help train professionals in the field of engineering on the methodology and approaches to verification.

In practice, the architectural intent of a device is necessarily abstract. The implementation process, however, must define the detailed mechanisms to achieve the architectural goals. Based on a decade of experience, Principles of Functional Verification intends to pinpoint the issues, provide strategies to solve the issues, and present practical applications for narrowing the gap between architectural intent and implementation.

The book is divided into three parts, each building upon the chapters within the previous part. Part One addresses why functional verification is necessary, its definition and goals. In Part Two, the heart of the methodology and approaches to solving verification issues are examined. Each chapter in this part ends with exercises to apply what was discussed in the chapter. Part Three looks at practical applications, discussing project planning, resource requirements, and costs. Each chapter throughout all three parts will open with Key Objectives, focal points the reader can expect to review in the chapter. Contents

L'auteur - Andreas S. Meyer

Andreas Meyer is currently Verification Architect with Cadence Design Systems. Previously, he was a founder and Chief Technical Officer of Zaiq Technologies, Inc. in Woburn, MA. Zaiq is a recognized leader in system-level design and verification for complex, high-performance, system-on-chip based designs. Andy lead the technical development of the companys intellectual property business and the development of Zaiqs design and verification methodologies. Prior to founding Zaiq, Andy worked as an independent consultant for a number of leading companies, including Teradyne Corporation, Sun Microsystems and Sequoia Systems. Andy holds a BSEE from the University of Illinois at Champaign and an MSECE from the University of Massachusetts at Amherst.

Sommaire

Preface
Introduction
Definitions
Methods for determining the validity of a model
Structure and re-use in functional verification
Random testing
Co-simulation
Measuring verification quality
The verification plan
Applying functional verification to a project
Additional reading
Index

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Newnes
Auteur(s)	Andreas S. Meyer
Parution	31/12/2003
Nb. de pages	206
Format	15,5 x 23
Couverture	Broché
Poids	345g
Intérieur	Noir et Blanc
EAN13	9780750676175
ISBN13	978-0-7506-7617-5