Principles of Functional Verification - 1st Edition - ISBN: 9780750676175, 9780080469942

Principles of Functional Verification

1st Edition

Authors: Andreas Meyer
Paperback ISBN: 9780750676175
eBook ISBN: 9780080469942
Imprint: Newnes
Published Date: 22nd October 2003
Page Count: 216
Tax/VAT will be calculated at check-out
87.95
53.99
66.95
81.95
Unavailable
Compatible Not compatible
VitalSource PC, Mac, iPhone & iPad Amazon Kindle eReader
ePub & PDF Apple & PC desktop. Mobile devices (Apple & Android) Amazon Kindle eReader
Mobi Amazon Kindle eReader Anything else

Institutional Access


Description

Part One: Why Functional Verification is Necessary; Definition and Goals; Architecture; A Look at What is Being Verified; Part Two: How Functional Verification Works; Determining the Validity of the Model; Verification Methods; Random Testing; Co-Simulation; Measuring Verification Quality; Verification Languages; Part Three: Application of Functional Verification; The Verification Plan; Projecting Costs; Summary: The Project; Verification Languages: Testbuilder, Vera, E; Other Project Verification Tools: Bug-tracking Systems; Other Project Verification Tools: Revision & Release Control Systems

Key Features

  • Takes a "holistic" approach to verification issues
  • Approach is not restricted to one language
  • Discussed the verification process, not just how to use the verification language

Readership

Electrical Engineers, Computer & Systems Design Engineers; Electronics Designers & Students

Table of Contents

Part One: Why Functional Verification is Necessary; Definition and Goals; Architecture; A Look at What is Being Verified; Part Two: How Functional Verification Works; Determining the Validity of the Model; Verification Methods; Random Testing; Co-Simulation; Measuring Verification Quality; Verification Languages; Part Three: Application of Functional Verification; The Verification Plan; Projecting Costs; Summary: The Project; Verification Languages: Testbuilder, Vera, E; Other Project Verification Tools: Bug-tracking Systems; Other Project Verification Tools: Revision & Release Control Systems

Details

No. of pages:
216
Language:
English
Copyright:
© Newnes 2003
Published:
Imprint:
Newnes
eBook ISBN:
9780080469942
Paperback ISBN:
9780750676175

About the Author

Andreas Meyer

Andreas Meyer is currently Verification Architect with Cadence Design Systems. Previously, he was a founder and Chief Technical Officer of Zaiq Technologies, Inc. in Woburn, MA. Zaiq is a recognized leader in system-level design and verification for complex, high-performance, system-on-chip based designs. Andy lead the technical development of the company’s intellectual property business and the development of Zaiq’s design and verification methodologies. Prior to founding Zaiq, Andy worked as an independent consultant for a number of leading companies, including Teradyne Corporation, Sun Microsystems and Sequoia Systems. Andy holds a BSEE from the University of Illinois at Champaign and an MSECE from the University of Massachusetts at Amherst.

Affiliations and Expertise

Verification Architect, Cadence Design Systems