2005

Taxonomies for the Development and Verification of Digital Systems

Editors:

ISBN: 978-0-387-24019-0 (Print) 978-0-387-24021-3 (Online)

Table of contents (5 chapters)

  1. No Access

    Book Chapter

    Pages 1-7

    Introduction

  2. No Access

    Book Chapter

    Pages 9-67

    Model Taxonomy

  3. No Access

    Book Chapter

    Pages 69-102

    Functional Verification Taxonomy

  4. No Access

    Book Chapter

    Pages 103-134

    Platform-Based Design

  5. No Access

    Book Chapter

    Pages 135-168

    Hardware-Dependent Software