ShopSpell

Taxonomies for the Development and Verification of Digital Systems [Hardcover]

$79.99     $109.99    27% Off      (Free Shipping)
100 available
  • Category: Books (Technology & Engineering)
  • ISBN-10:  0387240195
  • ISBN-10:  0387240195
  • ISBN-13:  9780387240190
  • ISBN-13:  9780387240190
  • Publisher:  Springer
  • Publisher:  Springer
  • Pages:  180
  • Pages:  180
  • Binding:  Hardcover
  • Binding:  Hardcover
  • Pub Date:  01-Feb-2005
  • Pub Date:  01-Feb-2005
  • SKU:  0387240195-11-SPRI
  • SKU:  0387240195-11-SPRI
  • Item ID: 100896526
  • List Price: $109.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Jul 05 to Jul 07
  • Notes: Brand New Book. Order Now.

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.

Communication between engineers, their managers, suppliers and customers relies on the existence of a common understanding for the meaning of terms. While this is not normally a problem, it has proved to be a significant roadblock in the EDA industry where terms are created as required by any number of people, multiple terms are coined for the same thing, or even worse, the same term is used for many different things. This taxonomy identifies all of the significant terms used by an industry and provides a structural framework in which those terms can be defined and their relationship to other terms identified. The origins of this work go back to 1995 with a government-sponsored program called RASSP. At the termination of their work, VSIA picked up their work and developed it further. Three new taxonomies were introduced by VSIA for additional facets of the system design and development process. Since role of VSIA has now changed so that it no longer maintains these taxonomies, the baton is being passed on again through a group of interested people and manifested in this key reference work.

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

Brian Bailey is an independent functional verification consultant helping system designers improve their verification efficiency, and providing guidance and technology services to small start-up companies. He has spent over 20 years creating vl£5

Add Review