Taxonomies for the Development and Verification of Digital Systems

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bailey, Brian (Editor), Martin, Grant (Editor), Anderson, Thomas (Editor)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2005.
• Subjects: Engineering.; Logic design.; Computer-aided engineering.; Electrical engineering.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Electronics and Microelectronics, Instrumentation.; Logic Design.; Electrical Engineering.; Computer-Aided Engineering (CAD, CAE) and Design.

"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By providing definitions for the terms used in the modeling, implementation, and verification of electronic systems, the taxonomies described in this book will help us find a...

Table of Contents:

• Model Taxonomy
• Functional Verification Taxonomy
• Platform-Based Design
• Hardware-Dependent Software.