Principles of Functional Verification (Paperback)

Summary

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.

Table of 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

摘要

隨著晶片和設備的設計複雜性不斷提高，對功能驗證的需求也在增加。《功能驗證原則》是一本實用的實踐指南，將幫助工程領域的專業人士學習驗證的方法和途徑。

在實踐中，設備的架構意圖必然是抽象的。然而，實現過程必須定義實現架構目標的詳細機制。基於十年的經驗，《功能驗證原則》旨在找出問題，提供解決問題的策略，並提供縮小架構意圖和實現之間差距的實際應用。

本書分為三個部分，每個部分都建立在前一部分的章節基礎上。第一部分介紹了為什麼需要功能驗證，以及其定義和目標。第二部分探討了解決驗證問題的方法和途徑。本部分的每個章節結束時都有練習，以應用章節中討論的內容。第三部分討論了實際應用，包括項目計劃、資源需求和成本。所有三個部分的每個章節都以關鍵目標開始，讀者可以預期在該章節中回顧這些重點。

目錄

第一部分：為什麼需要功能驗證；定義和目標；架構；正在驗證的內容
第二部分：功能驗證的工作原理；確定模型的有效性；驗證方法；隨機測試；協同模擬；測量驗證質量；驗證語言
第三部分：功能驗證的應用；驗證計劃；成本預測；總結：項目；驗證語言：Testbuilder、Vera、E；其他項目驗證工具：錯誤跟踪系統；其他項目驗證工具：修訂和發布控制系統