Taxonomies for the Development and Verification of Digital Systems

  • Authors:
  • Brian Bailey;Grant Martin;Thomas Anderson

  • Affiliations:
  • -;-;-

  • Venue:
  • Taxonomies for the Development and Verification of Digital Systems
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementation Considering both the hardware and software components of the system Also covers the emerging area of platform-based design Provides both knowledge of models and terms, and understanding of these models and how they are used.