Skip to main content

Data Modeling and Stimulus Generation

  • Chapter
The e Hardware Verification Language
  • 128 Accesses

Summary

Data is either generated in the verification environment or collected from the physical data extracted from the DUV. This chapter described the structure of a data model and how physical, subtype determinant, and utility fields are used to model and manage a data object. Packing was described in this chapter as a means of translating a data object into a bit stream so that it could drive physical DUV ports. Unpacking was described as the means to populate data structure fields from serial data collected from the DUV. Special techniques for enhancing the definition of a data model were introduced in order to simplify constraint definition when a data model is being used in a verification environment.

Chapter 8 discusses how sequences of data items are generated to form special verification scenarios. Building of a verification environment is discussed in chapter 11.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer Science + Business Media, Inc.

About this chapter

Cite this chapter

(2004). Data Modeling and Stimulus Generation. In: The e Hardware Verification Language. Springer, Boston, MA. https://doi.org/10.1007/1-4020-8024-7_7

Download citation

  • DOI: https://doi.org/10.1007/1-4020-8024-7_7

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4020-8023-4

  • Online ISBN: 978-1-4020-8024-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics