Top-Down Transaction-Level Design with TL-Verilog

11/05/2018
by   Steven Hoover, et al.
0

Transaction-Level Verilog (TL-Verilog) is an emerging extension to SystemVerilog that supports a new design methodology, called transaction-level design. A transaction, in this methodology, is an entity that moves through structures like pipelines, arbiters, and queues, A transaction might be a machine instruction, a flit of a packet, or a memory read/write. Transaction logic, like packet header decode or instruction execution, that operates on the transaction can be placed anywhere along the transaction's flow. Tools produce the logic to carry signals through their flows to stitch the transaction logic. We implemented a small library of TL-Verilog flow components, and we illustrate the use of these components in a top-down design methodology. We construct a hypothetical microarchitecture simply by instantiating components. Within the flows created by these components, we add combinational transaction logic, enabling verification activities and performance evaluation to begin. We then refine the model by positioning the transaction logic within its flow to produce a high-quality register-transfer-level (RTL) implementation.

READ FULL TEXT
research
11/05/2018

Formally Verifying WARP-V, an Open-Source TL-Verilog RISC-V Core Generator

Timing-abstract and transaction-level design using TL-Verilog have shown...
research
10/12/2019

Networks of monetary flow at native resolution

People and companies move money with every financial transaction they ma...
research
06/13/2019

Probing the Mystery of Cryptocurrency Theft: An Investigation into Methods for Cryptocurrency Tainting Analysis

Since the first theft of the Mt.Gox exchange service in 2011, Bitcoin ha...
research
05/15/2014

Transaction Logic with (Complex) Events

This work deals with the problem of combining reactive features, such as...
research
10/23/2019

A Queue-oriented Transaction Processing Paradigm

Transaction processing has been an active area of research for several d...
research
01/13/2022

Robustness against Read Committed for Transaction Templates with Functional Constraints

The popular isolation level Multiversion Read Committed (RC) trades some...
research
05/15/2023

PSTM Transaction Scheduler Verification Based on CSP and Testing

Many online transaction scheduler architectures and algorithms for vario...

Please sign up or login with your details

Forgot password? Click here to reset