Skip to main content

Transaction-Level Modeling

  • Chapter
  • First Online:
Book cover Open Verification Methodology Cookbook

Abstract

The process of designing an electronic system involves taking abstract ideas and successively replacing the abstractions with concrete details until you reach a representation that can be manufactured in silicon. Since the advent of the digital integrated circuit, the electronic design community has carefully defined and codified abstractions, beginning with switches and gates, to provide media in which designs are rendered. RTL is an example of an abstraction medium commonly used to create designs. There are many tools based on the RTL abstraction that make it a convenient way to initiate the design and verification process.

However, as designs get larger and more complex, it becomes increasingly convenient to represent them using abstractions higher than RTL. The transaction level is becoming popular for creating the first incarnation of a design that can be simulated and analyzed.

This chapter introduces the fundamental concepts of transaction-level modeling (TLM). Transaction-level models consist of multiple processes communicating with each other by sending transactions back and forth through channels. This chapter illustrates these concepts with some producer-consumer pairs communicating through transaction-level interfaces.

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 89.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.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.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mark Glasser .

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag New York

About this chapter

Cite this chapter

Glasser, M. (2009). Transaction-Level Modeling. In: Open Verification Methodology Cookbook. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-0968-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-1-4419-0968-8_3

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4419-0967-1

  • Online ISBN: 978-1-4419-0968-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics