Principles of Functional Verification

Principles of Functional Verification
Author :
Publisher : Elsevier
Total Pages : 217
Release :
ISBN-10 : 9780080469942
ISBN-13 : 0080469949
Rating : 4/5 (42 Downloads)

Book Synopsis Principles of Functional Verification by : Andreas Meyer

Download or read book Principles of Functional Verification written by Andreas Meyer and published by Elsevier. This book was released on 2003-12-05 with total page 217 pages. Available in PDF, EPUB and Kindle. Book excerpt: As design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of Functional Verification is a hands-on, practical text that will help train professionals in the field of engineering on the methodology and approaches to verification.In practice, the architectural intent of a device is necessarily abstract. The implementation process, however, must define the detailed mechanisms to achieve the architectural goals. Based on a decade of experience, Principles of Functional Verification intends to pinpoint the issues, provide strategies to solve the issues, and present practical applications for narrowing the gap between architectural intent and implementation. The book is divided into three parts, each building upon the chapters within the previous part. Part One addresses why functional verification is necessary, its definition and goals. In Part Two, the heart of the methodology and approaches to solving verification issues are examined. Each chapter in this part ends with exercises to apply what was discussed in the chapter. Part Three looks at practical applications, discussing project planning, resource requirements, and costs. Each chapter throughout all three parts will open with Key Objectives, focal points the reader can expect to review in the chapter.* 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


Principles of Functional Verification Related Books

Principles of Functional Verification
Language: en
Pages: 217
Authors: Andreas Meyer
Categories: Technology & Engineering
Type: BOOK - Published: 2003-12-05 - Publisher: Elsevier

DOWNLOAD EBOOK

As design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of Functional Verification is a ha
Principles of Verifiable RTL Design
Language: en
Pages: 297
Authors: Lionel Bening
Categories: Computers
Type: BOOK - Published: 2001-05-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The first edition of Principles of Verifiable RTL Design offered a common sense method for simplifying and unifying assertion specification by creating a set of
Effective Functional Verification
Language: en
Pages: 268
Authors: Srivatsa Vasudevan
Categories: Technology & Engineering
Type: BOOK - Published: 2006-07-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers and experienced people to the field
Hardware Verification with C++
Language: en
Pages: 351
Authors: Mike Mintz
Categories: Technology & Engineering
Type: BOOK - Published: 2006-12-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verificat
Principles of Model Checking
Language: en
Pages: 994
Authors: Christel Baier
Categories: Computers
Type: BOOK - Published: 2008-04-25 - Publisher: MIT Press

DOWNLOAD EBOOK

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive exampl