Taxonomies for the Development and Verification of Digital Systems

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.

Previously in the EDA industry, no definitive work has existed which defines standard terms on an industry-wide basis Fill a necessary gap and provide a needed reference working towards a standardization of definitions

Auteur

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 verification solutions in a number of EDA companies and in recent years has spent most of his time helping the industry understand how and when to adopt new verification methodologies.

Grant Martin is a chief scientist at Tensilica, Inc. in Santa Clara, CA. Prior to Tensilica, Grant worked at Burroughs in Scotland for 6 years, BNR/Nortel in Canada for 10 years, and Cadence for 9 years. His main areas of interest are IP-based design, platform-based design of SoC, and system-level design.

Thomas Anderson is a Director of Technical Marketing at Synopsys, Inc. in Mountain View, CA and chair of the VSIA functional verification working group. Previously he was Vice President of Applications Engineering at 0-In and Vice President of Engineering at Virtual Chips. He has authored over 100 papers and technical articles on verification, IP and interface standards.

Texte du rabat

"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 common understanding." --Richard Goering, Group Editorial Director for Design Automation, Electronic Engineering Times

"Successful industries must have a firm foundation for the vaocabulary that they use to communicate ideas and to avoid misunderstandings. VSIA tackled this problem by developing a series of related taxonomies. This book includes all this material, with updates to the earlier definitions where technology has evolved. Its publication will allow greater industry penetration and ensure continued evolution over time." --Mike Kaskowitz, President, Virtual Socket Interface Alliance (VSIA)

"In the electronics world, we are often accused of not knowing what we are talking about. Unfortunately, it is all too often true. The myriad of terms and acronyms that we throw around is astounding, yet the rapid advance of technology often changes our definitions within a few years. Add to that the propensity of marketing types to hijack and redefine terms, and you have anarchy. This book is the industry's attempt to bring order to the madness. Read it and maybe we won't be fooled again." --Gary Smith, EDA Chief Analyst, Gartner Dataquest

Communication between engineers and their managers, suppliers, and customers relies on a shared vocabulary. While a common understanding of industry-specific terms is not normally a problem for those in an industry, it has proven to be a significant roadblock in the EDA field. Here, terms are created as required by any number of people, multiple terms are coined for the same thing, and even worse, the same term can sometimes be used for many different things. Though EDA-specific expressions have developed, an industry-standard terminology has not.

Without a guide to EDA vocabulary, understanding all the types of models required to design and verify modern electronics-based systems can be a major undertaking. A taxonomy solves such problems by identifying all of the significant terms used by an industry and providing a structural framework in which those terms can be defined and their relationship to other terms identified.

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.

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