Axe
Consistency checker for memory subsystem traces
Install / Use
/learn @CTSRD-CHERI/AxeREADME
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:
-
BERI, with traces generated using an RTL-level BlueCheck test bench, as well as auto-generated ISA-level tests.
-
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.
