
Professional Verification
A Guide to Advanced Functional Verification
Paul Wilcox(Author)
Springer (Publisher)
Published on 14. March 2013
Book
Paperback/Softback
XV, 191 pages
978-1-4757-8483-1 (ISBN)
Description
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.
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.
More details
Edition
Softcover reprint of the original 1st ed. 2004
Language
English
Place of publication
New York
United States
Target group
Professional and scholarly
Research
Illustrations
58 s/w Abbildungen
XV, 191 p. 58 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 12 mm
Weight
324 gr
ISBN-13
978-1-4757-8483-1 (9781475784831)
DOI
10.1007/b118052
Schweitzer Classification
Other editions
Additional editions

E-Book
05/2007
Springer
€96.29
Available for download

Book
05/2004
Springer
€149.79
Article not available at the moment
Content
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.