Skip to main content
SpringerLink
Log in
Book cover

The e Hardware Verification Language

  • Book
  • © 2004

Overview

Authors:
  1. Sasan Iman

    1. SiMantis Inc., Santa Clara

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Sunita Joshi

    1. SiMantis Inc., Santa Clara

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 chapters)

  1. Front Matter

    Pages i-xxii
    Download chapter PDF

  2. Introduction

    1. Introduction

      Pages 1-7

  3. Verification Methodologies and Environment Architecture

    1. Front Matter

      Pages 9-9
      Download chapter PDF

    2. Verification Methodologies

      Pages 11-30

    3. Anatomy of a Verification Environment

      Pages 31-50

  4. All About e

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. e as a Programming Language

      Pages 53-80

    3. e as a Verification Language

      Pages 81-101

  5. Topology and Stimulus Generation

    1. Front Matter

      Pages 103-103
      Download chapter PDF

    2. Generator Operation

      Pages 105-120

    3. Data Modeling and Stimulus Generation

      Pages 121-136

    4. Sequence Generation

      Pages 137-161

  6. Response Collection, Data Checking, and Property Monitoring

    1. Front Matter

      Pages 163-163
      Download chapter PDF

    2. Temporal Expressions

      Pages 165-188

    3. Messages

      Pages 189-198

    4. Collectors and Monitors

      Pages 199-211

    5. Scoreboarding

      Pages 213-222

  7. Coverage Modeling and Measurement

    1. Front Matter

      Pages 223-223
      Download chapter PDF

    2. Coverage Engine

      Pages 225-243

    3. Coverage Modeling

      Pages 245-263
Back to top

Keywords

About this book

I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (eRM). The main goal of verification is, after all, finding more bugs quicker using given resources, and verification reuse (module-to-system, old-system-to-new-system etc. ) is a key enabling component. This book offers a fresh approach in teaching the e hardware verification language within the context of coverage driven verification methodology. I hope it will help the reader und- stand the many important and interesting topics surrounding hardware verification. Yoav Hollander Founder and CTO, Verisity Inc. Preface This book provides a detailed coverage of the e hardware verification language (HVL), state of the art verification methodologies, and the use of e HVL as a facilitating verification tool in implementing a state of the art verification environment. It includes comprehensive descriptions of the new concepts introduced by the e language, e language syntax, and its as- ciated semantics. This book also describes the architectural views and requirements of verifi- tion environments (randomly generated environments, coverage driven verification environments, etc. ), verification blocks in the architectural views (i. e. generators, initiators, c- lectors, checkers, monitors, coverage definitions, etc. ) and their implementations using the e HVL. Moreover, the e Reuse Methodology (eRM), the motivation for defining such a gui- line, and step-by-step instructions for building an eRM compliant e Verification Component (eVC) are also discussed.

Authors and Affiliations

  • SiMantis Inc., Santa Clara

    Sasan Iman, Sunita Joshi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation