Professional Verification: A Guide to Advanced Functional Verification (IFIP Advances in Information and Communication Technology)

✍ Scribed by Paul Wilcox

Publisher: Springer
Year: 2004
Tongue: English
Leaves: 208
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Professional Verification : A Guide to A

📁 Professional Verification : A Guide to Advanced Functional Verification

✍ Paul Wilcox 📂 Library 📅 2004 🌐 English

Functional verification of integrated circuits is considered part art, part science, luck, and a lot of hard work. But in reality, the nanometer designs of today require an advanced verification focus and dedicated professionals with knowledge and expertise in verification practices. Verification wa

Professional Verification: A Guide to Ad

📁 Professional Verification: A Guide to Advanced Functional Verification

✍ Paul Wilcox 📂 Library 📅 2004 🏛 Kluwer Academic Publishers 🌐 English

Pulsed Power (IFIP Advances in Informati

📁 Pulsed Power (IFIP Advances in Information and Communication Technology)

✍ Gennady A. Mesyats 📂 Library 📅 2004 🏛 Springer 🌐 English

Mesyats' Pulsed Power provides in-depth coverage of the generation of pulsed electric power, electron and ion beams, and various types of pulsed electromagnetic radiation. The electric power that can be produced by the methods described ranges from 106 to 1014W for pulse durations of 10-10-10-7s.

Advances in Digital Forensics III (IFIP

📁 Advances in Digital Forensics III (IFIP International Federation for Information Processing) (IFIP Advances in Information and Communication Technology)

✍ Philip Craiger 📂 Library 📅 2007 🏛 Springer 🌐 English

ADVANCES IN DIGITAL FORENSICS III Edited by: Philip Craiger and Sujeet Shenoi Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Networked computing, wireless communications and portable electronic devices have expanded

Advances in Digital Forensics II (IFIP A

📁 Advances in Digital Forensics II (IFIP Advances in Information and Communication Technology) (v. 2)

✍ Martin S. Olivier, Sujeet Shenoi 📂 Library 📅 2006 🌐 English

Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Practically every crime now involves some digital evidence; digital forensics provides the techniques and tools to articulate this evidence. This book describes original researc

ASIC/SoC Functional Design Verification

📁 ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Methodologies

✍ Mehta, Ashok B 📂 Library 🌐 English