Academic
Publications
A single-specification principle for functional-to-timing simulator interface design
A single-specification principle for functional-to-timing simulator interface design   (Citations: 1)
BibTex | RIS | RefWorks Download
Microarchitectural simulators are often partitioned into separate, but interacting, functional and timing simulators. These simulators interact through some interface whose level of detail depends upon the needs of the timing simulator. The level of detail supported by the interface profoundly affects the speed of the functional simulator, therefore, it is desirable to provide only the detail that is actually required. However, as the microarchitectural design space is explored, these needs may change, requiring corresponding time-consuming and error- prone changes to the interface. Thus simulator developers are tempted to include extra detail in the interface "just in case" it is needed later, trading off simulator speed for development time. We show that this tradeoff is unnecessary if a single- specification design principle is practiced: write the simulator once with an extremely detailed interface and then derive less- detailed interfaces from this detailed simulator. We further show that the use of an Architectural Description Language (ADL) with constructs for interface specification makes it possible to synthesize simulators with less-detailed interfaces from a highly- detailed specification with only a few lines of code and minimal effort. The speed of the resulting low-detail simulators is up to 14.4 times the speed of high-detail simulators.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...This concept was introduced in [23] as the Single-Specification Principle and was shown to lead to very short development times ‐ mere minutes to specify a new interface ‐ as well as easier validation and improved simulation speed...
    • ...An underlying assumption of [23] was that an implementation of any derived lower-detail interface could be provided without significant user intervention...
    • ...The resulting methodology for simulator design, extended from that of [23], looks like: 1) Specify the instruction set at a high level of detail...
    • ...Principle and is partially described in [23]...

    David A. Penryet al. ADL-based specification of implementation styles for functional simula...

Order by: