Principles of Functional Verification

Author: Meyer   Andreas  

Publisher: Elsevier Science‎

Publication year: 2003

E-ISBN: 9780080469942

P-ISBN(Paperback): 9780750676175

P-ISBN(Hardback):  9780750676175

Subject: F4 Industrial Economy;TM Electrotechnical;TN4 microelectronics, integrated circuit (IC);TP1 自动化基础理论

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

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.


* Takes a "holistic" approach to verification issues
* Approach is not restricted to one language
* Discussed the verificat

Chapter

Cover

pp.:  1 – 6

TOC$Table of contents

pp.:  6 – 10

Preface

pp.:  10 – 12

CH$1. Introduction

pp.:  12 – 22

CH$2. Definitions

pp.:  22 – 32

CH$3. Methods for Determining the Validity of a Model

pp.:  32 – 60

CH$4. Structure and Re-use in Functional Verification

pp.:  60 – 94

CH$5. Random Testing

pp.:  94 – 126

CH$6. Co-simulation

pp.:  126 – 148

CH$7. Measuring Verification Quality

pp.:  148 – 176

CH$8. The Verification Plan

pp.:  176 – 194

CH$9. Applying Functional Verification to a Project

pp.:  194 – 210

Additional Reading

pp.:  210 – 212

IDX$Index

pp.:  212 – 218

The users who browse this book also browse


No browse record.