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 hardware test framework (such as BlueCheck or GroundTest), quickly checking large memory traces that result from randomly-generated sequences of memory operations.
See the Axe manual for details.