Title Taxonomies for the development and verification of digital systems / edited by Brian Bailey, Grant Martin, Thomas Anderson

Published New York : Springer, 2005

Click on the following:
Springer Engineering eBooks
Springer eBooks

Copies

Description 1 online resource (xx, 179 pages) : illustrations Contents Model Taxonomy -- Functional Verification Taxonomy -- Platform-Based Design -- Hardware-Dependent Software Summary "Taxonomies for the Development and Verification of Digital Systems provides a thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex systems. The book covers systems terminology from the conceptual level to actual implementation, considers both the hardware and software components of the system, and also includes the emerging area of platform-based design. Taxonomies provide knowledge of both models and terms, as well as an understanding of how models are used."--Jacket Bibliography Includes bibliographical references (pages 169-171) and index Notes Print version record In Springer e-books Subject Digital integrated circuits -- Design and construction. Integrated circuits -- Verification. Digital communications. TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Integrated. TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- General. Digital integrated circuits -- Design and construction. Digital communications. Integrated circuits -- Verification. Ingénierie. Digital communications Digital integrated circuits -- Design and construction Integrated circuits -- Verification Form Electronic book Author Bailey, Brian Martin, Grant Anderson, Thomas, 1950- LC no. 2006275155 ISBN 9780387240213 0387240217 0387240195 9780387240190 6610234086 9786610234080

  Permalink