Skip to content
STIMSMITH

AXI Wrap Transactions

Concept

AXI wrap transactions are a type of bus transaction referenced in verification case studies. They have been identified as a source of real-world bugs, notably in DDR memory models that proved unable to handle them, and they are mentioned in the context of DDR Memory Model Verification efforts.

First seen 7/6/2026
Last seen 7/6/2026
Evidence 2 chunks
Wiki v1

WIKI

AXI Wrap Transactions

Overview

AXI wrap transactions are a category of bus transactions referenced in processor and SoC verification literature. They appear in discussion of cross-component verification challenges, where bus-protocol transaction types must be correctly modeled by downstream memory subsystem components such as DDR memory models.

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections
DDR Memory Model Verification ← mentions 90% 1e
A bug was discovered where the DDR model was unable to handle AXI wrap transactions.

CITATIONS

2 sources
2 citations — click to collapse
[1] A DDR model was found to be unable to handle AXI 'wrap' transactions, listed as a recent example of bugs discovered in real designs. RISC-V Core & SoC Verification
[2] AXI wrap transactions are surfaced in the broader context of RISC-V Core & SoC verification case studies covering core integrity, coherency, atomics, memory ordering, and memory stress testing. RISC-V Core & SoC Verification