 |
|
| PRINCIPLES OF FUNCTIONAL VERIFICATION
| |
| | |
|
|
To order this title, and for more information, click here
By
Andreas Meyer, Verification Architect, Cadence Design Systems
Description
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.
Audience
Electrical Engineers, Computer & Systems Design Engineers; Electronics Designers & Students
Contents
Part One: Why Functional Verification is Necessary; Definition and Goals; Architecture; A Look at What is Being Verified; Part Two: How
Functional Verification Works; Determining the Validity of the Model; Verification Methods; Random Testing; Co-Simulation; Measuring
Verification Quality; Verification Languages; Part Three: Application of Functional Verification; The Verification Plan; Projecting Costs;
Summary: The Project; Verification Languages: Testbuilder, Vera, E; Other Project Verification Tools: Bug-tracking Systems; Other Project
Verification Tools: Revision & Release Control Systems
| Bibliographic details |
Paperback, 216 pages, publication date: OCT-2003
ISBN-13: 978-0-7506-7617-5
ISBN-10: 0-7506-7617-5
Imprint: NEWNES
|
| Price and Ordering |
Price:
EUR 62.95
GBP 53
USD 75.95
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
032/320
Last update: 7 Sep 2009
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company