Book 2005

Functional Verification of Programmable Embedded Architectures

A Top-Down Approach

Authors:

ISBN: 978-0-387-26143-0 (Print) 978-0-387-26399-1 (Online)

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xix

  2. Introduction to Functional Verification

    1. No Access

      Chapter

      Pages 3-12

      Introduction

  3. Architecture Specification

    1. No Access

      Chapter

      Pages 15-28

      Architecture Specification

    2. No Access

      Chapter

      Pages 29-62

      Validation of Specification

  4. Top-Down Validation

    1. No Access

      Chapter

      Pages 65-82

      Executable Model Generation

    2. No Access

      Chapter

      Pages 83-93

      Design Validation

    3. No Access

      Chapter

      Pages 95-117

      Functional Test Generation

  5. Future Directions

    1. No Access

      Chapter

      Pages 121-123

      Conclusions

  6. Back Matter

    Pages 125-180