Skip to content

Latest commit

 

History

History
30 lines (23 loc) · 1.2 KB

README.md

File metadata and controls

30 lines (23 loc) · 1.2 KB
Raw

Axe

Axe is a tool that aids automatic black-box testing of the memory subsystems found in modern multi-core processors.

Given a trace containing a set of top-level memory requests and responses, Axe determines if the trace is valid according to a range of memory consistency models.

It is designed to be used as the oracle in an automated test framework, and has been applied to various open-source processors, including:

  1. BERI, with traces generated using an RTL-level BlueCheck test bench, as well as auto-generated ISA-level tests.

  2. Rocket Chip, with traces generated using the RTL-level groundtest framework.

A paper about Axe was published at FMCAD 2016. Slides from the presentation are here.

Further details may be found in the Axe manual.