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. Introduction to Functional Verification

    1. No Access

      Book Chapter

      Pages 3-12

      Introduction

  2. Architecture Specification

    1. No Access

      Book Chapter

      Pages 15-28

      Architecture Specification

    2. No Access

      Book Chapter

      Pages 29-62

      Validation of Specification

  3. Top-Down Validation

    1. No Access

      Book Chapter

      Pages 65-82

      Executable Model Generation

    2. No Access

      Book Chapter

      Pages 83-93

      Design Validation

    3. No Access

      Book Chapter

      Pages 95-117

      Functional Test Generation

  4. Future Directions

    1. No Access

      Book Chapter

      Pages 121-123

      Conclusions