Taxonomies for the Development and Verification of Digital Systems (Record no. 526)

000 -LEADER
fixed length control field 04786nam a22005535i 4500
001 - CONTROL NUMBER
control field 978-0-387-24021-3
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20141014113428.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100301s2005 xxu| s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387240213
-- 978-0-387-24021-3
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/b104217
Source of number or code doi
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK7888.4
072 #7 - SUBJECT CATEGORY CODE
Subject category code TJFC
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code TEC008010
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.3815
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Bailey, Brian.
Relator term editor.
245 10 - TITLE STATEMENT
Title Taxonomies for the Development and Verification of Digital Systems
Medium [electronic resource] /
Statement of responsibility, etc edited by Brian Bailey, Grant Martin, Thomas Anderson.
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Boston, MA :
Name of publisher, distributor, etc Springer US,
Date of publication, distribution, etc 2005.
264 #1 -
-- Boston, MA :
-- Springer US,
-- 2005.
300 ## - PHYSICAL DESCRIPTION
Extent XX, 179 p.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Model Taxonomy -- Functional Verification Taxonomy -- Platform-Based Design -- Hardware-Dependent Software.
520 ## - SUMMARY, ETC.
Summary, etc "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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic design.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer aided design.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronics.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systems engineering.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Circuits and Systems.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronics and Microelectronics, Instrumentation.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic Design.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic and Computer Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer-Aided Engineering (CAD, CAE) and Design.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Martin, Grant.
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Anderson, Thomas.
Relator term editor.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9780387240190
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/b104217
912 ## -
-- ZDB-2-ENG
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-Books

No items available.


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha