|
|
|
|
LEADER |
02638nam a22004455i 4500 |
001 |
978-1-4020-7876-7 |
003 |
DE-He213 |
005 |
20151204161347.0 |
007 |
cr nn 008mamaa |
008 |
100301s2004 xxu| s |||| 0|eng d |
020 |
|
|
|a 9781402078767
|9 978-1-4020-7876-7
|
024 |
7 |
|
|a 10.1007/b118052
|2 doi
|
040 |
|
|
|d GrThAP
|
050 |
|
4 |
|a TK7888.4
|
072 |
|
7 |
|a TJFC
|2 bicssc
|
072 |
|
7 |
|a TEC008010
|2 bisacsh
|
082 |
0 |
4 |
|a 621.3815
|2 23
|
100 |
1 |
|
|a Wilcox, Paul.
|e author.
|
245 |
1 |
0 |
|a Professional Verification
|h [electronic resource] :
|b A Guide to Advanced Functional Verification /
|c by Paul Wilcox.
|
264 |
|
1 |
|a Boston, MA :
|b Springer US,
|c 2004.
|
300 |
|
|
|a XV, 191 p. 58 illus.
|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 The Profession of Verification -- Verification Challenges -- Advanced Funtional Verification -- Successful Verification -- Professional Verification -- The Unified Verification Methodology -- The Unified Verification Methodology -- UVM System-Level Design -- Control Digital Subsystems -- Algorithmic Digital Subsystems -- Analog/RF Subsystems -- Integration and System Verification -- Tools of the Trade -- System-Level Design -- Formal Verification Tools -- Testbench Development -- Advanced Testbenches -- Hardware-Based Verification.
|
520 |
|
|
|a Professional Verification is a guide to advanced functional verification in the nanometer era. It presents the best practices in functional verification used today and provides insights on how to solve the problems that verification teams face. Professional Verification is based on the experiences of advanced verification teams throughout the industry, along with work done at Cadence Design Systems. Professional Verification presents a complete and detailed Unified Verification Methodology based on the best practices in use today. It also addresses topics important to those doing advanced functional verification, such as assertions, functional coverage, formal verification, and reactive testbenches.
|
650 |
|
0 |
|a Engineering.
|
650 |
|
0 |
|a Electrical engineering.
|
650 |
|
0 |
|a Electronic circuits.
|
650 |
1 |
4 |
|a Engineering.
|
650 |
2 |
4 |
|a Circuits and Systems.
|
650 |
2 |
4 |
|a Electrical Engineering.
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9781402078750
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/b118052
|z Full Text via HEAL-Link
|
912 |
|
|
|a ZDB-2-ENG
|
912 |
|
|
|a ZDB-2-BAE
|
950 |
|
|
|a Engineering (Springer-11647)
|