TSpec: A Specification of Memory Access TracesReport
This document describes Tspec, a “little language” for specifying memory traces, and Tint, an interpreter for Tspec. Tspec can be used to generate synthetic traces, or can be used to represent an actual trace in a human-readable, compressed format. We do not address here how to convert a trace into a Tspec specification.
All rights reserved (no additional license for public reuse)
McKee, Sally, D Weikle, and Wm Wulf. "TSpec: A Specification of Memory Access Traces." University of Virginia Dept. of Computer Science Tech Report (1997).
University of Virginia, Department of Computer Science