|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
978-0-387-71733-3 |
003 |
DE-He213 |
005 |
20220116153119.0 |
007 |
cr nn 008mamaa |
008 |
100301s2008 xxu| s |||| 0|eng d |
020 |
|
|
|a 9780387717333
|9 978-0-387-71733-3
|
024 |
7 |
|
|a 10.1007/978-0-387-71733-3
|2 doi
|
050 |
|
4 |
|a TK7867-7867.5
|
072 |
|
7 |
|a TJFC
|2 bicssc
|
072 |
|
7 |
|a TEC008010
|2 bisacsh
|
072 |
|
7 |
|a TJFC
|2 thema
|
082 |
0 |
4 |
|a 621.3815
|2 23
|
100 |
1 |
|
|a Wiemann, Alan.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
245 |
1 |
0 |
|a Standardized Functional Verification
|h [electronic resource] /
|c by Alan Wiemann.
|
250 |
|
|
|a 1st ed. 2008.
|
264 |
|
1 |
|a New York, NY :
|b Springer US :
|b Imprint: Springer,
|c 2008.
|
300 |
|
|
|a XVIII, 276 p.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
505 |
0 |
|
|a A Brief Overview of Functional Verification -- Analytical Foundation -- Exploring Functional Space -- Planning and Execution -- Normalizing Data -- Analyzing Results -- Assessing Risk.
|
520 |
|
|
|a Standardized Functional Verification describes the science of functional verification that applies to any digital hardware system. With a precise and comprehensive terminology this book describes a thorough technical framework for achieving superior results with greater efficiency. It also defines a scientific basis for achieving functional closure and shows how true functional closure can be measured by software. The author provides a wealth of practical guidance to the practicing professional. It describes how to compare results from differing projects and how to assess the risk of functional bugs at tape-out or at any other critical product juncture. The book also shows consumers how to compare IP offerings from multiple vendors. For producers, it describes how to verify IP in a manner that meets customer needs. Producers and consumers of silicon IP therefore have a solid framework to communicate requirements and to align expectations effectively and efficiently. Standardized Functional Verification is a valuable reference for verification engineers and managers, and also for developers of verification software. The principles and theory this book describes will drive creation of the next generation of verification tools.
|
650 |
|
0 |
|a Electronic circuits.
|
650 |
|
0 |
|a Computer-aided engineering.
|
650 |
|
0 |
|a Electrical engineering.
|
650 |
|
0 |
|a Electronics.
|
650 |
1 |
4 |
|a Electronic Circuits and Systems.
|
650 |
2 |
4 |
|a Computer-Aided Engineering (CAD, CAE) and Design.
|
650 |
2 |
4 |
|a Electrical and Electronic Engineering.
|
650 |
2 |
4 |
|a Electronics and Microelectronics, Instrumentation.
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer Nature eBook
|
776 |
0 |
8 |
|i Printed edition:
|z 9781441944078
|
776 |
0 |
8 |
|i Printed edition:
|z 9780387518794
|
776 |
0 |
8 |
|i Printed edition:
|z 9780387717326
|
856 |
4 |
0 |
|u https://doi.uam.elogim.com/10.1007/978-0-387-71733-3
|z Texto Completo
|
912 |
|
|
|a ZDB-2-ENG
|
912 |
|
|
|a ZDB-2-SXE
|
950 |
|
|
|a Engineering (SpringerNature-11647)
|
950 |
|
|
|a Engineering (R0) (SpringerNature-43712)
|