Principles of Functional Verification (eBook)

Andreas Meyer (Autor)

eBook Download: PDF

2003 | 1. Auflage
216 Seiten
Elsevier Science (Verlag)
978-0-08-046994-2 (ISBN)

Infos

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.


* Takes a holistic approach to verification issues
* Approach is not restricted to one language
* Discussed the verification process, not just how to use the verification language

---

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.* Takes a "e;holistic"e; approach to verification issues* Approach is not restricted to one language* Discussed the verification process, not just how to use the verification language

Inhalt

Cover 1
TOC$Table of contents 6
Preface 10
CH$1. Introduction 12
Why Functional Verification Is Needed 13
The Goal of Functional Verification 14
Organization of This Book 19
Approach of This Book 20
CH$2. Definitions 22
Abstraction Levels 22
Verification of a Design 27
Definition of a Test 29
CH$3. Methods for Determining the Validity of a Model 32
Overview 32
Stimulus Generation Methods 33
Results Analysis Methods 46
Summary 59
CH$4. Structure and Re-use in Functional Verification 60
Structured Elements 61
Highly Parallel Environments 68
Database of Transactions 71
Data Traffic Domains 75
Transactor Layering 83
Re-use of Verification 84
Block-to-System Migration 86
Summary 92
CH$5. Random Testing 94
Achieving Randomization 95
Random Test Structures 101
Mixing Directed Random and Random Directed Testing 102
Why Is Randomization Effective? 106
Distribution Models 107
Structuring Effective Randomization Tests 110
The Importance of Being Idle 116
Randomization and Test Re-use 118
Limits of Randomized Testing 119
Running a Random Test 123
Summary 124
CH$6. Co-simulation 126
Goals of Co-simulation 129
Methods of Co-simulation 135
Choices Based on Project Requirements 144
Summary 146
CH$7. Measuring Verification Quality 148
Estimating Quality 149
Overview of Methods 151
Comparison of Methods 170
Real-World Considerations 174
Summary 175
CH$8. The Verification Plan 176
Goals of the Verification Plan 176
Phases of the Verification Plan 178
The Phases in Detail 181
Coverage and Completion Requirements 187
Resource Estimation 190
Project Schedule Integration 191
Summary 191
CH$9. Applying Functional Verification to a Project 194
Project Costs 195
Methodology 197
Tools 198
Structuring a Project 203
Project Management 207
Summary 209
Additional Reading 210
IDX$Index 212

Produkt-Details

• Erscheint lt. Verlag: 5.12.2003
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Datenbanken
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Themenwelt: Technik ► Elektrotechnik / Energietechnik
• Themenwelt: Technik ► Maschinenbau
• Themenwelt: Wirtschaft ► Betriebswirtschaft / Management ► Logistik / Produktion
• ISBN-10: 0-08-046994-9 / 0080469949
• ISBN-13: 978-0-08-046994-2 / 9780080469942