Verification and Validation of X-Sim: A Trace-Based Simulator
Saurabh
Gayen, sg3@wustl.edu
Abstract
X-Sim is a trace-based simulator that is under current development..
It provides a way to easily simulate any application on a heterogeneous set of
resources consisting of general purpose processors (GPPs), field programmable
gate arrays (FPGAs) and, in the future, other computational elements. This
paper attempts to verify and validate X-Sim, with the end goal of allowing the
simulator to generate reasonably confident application performance estimates.
Keywords: X-Sim, Simulation, Verification, Validation, X-Language, Auto-Pipe
Table of Contents:
1 Introduction
2 X-Sim
2.1 Auto-Pipe: The Bigger Picture
2.2 Sample Application Mapping
2.3 X-Sim Details
3 Simulation Theory
3.1 The Real World System
3.2 The Analytic Model
3.3 The Simulation Program
4 Verification and Validation Theory
4.1 Conceptual Model Validation: the System-Model
Relationship
4.2 Model Verification: the Model-Program Relationship
4.3 Operational Validation: the System-Program Relationship
5 Experimental Results and Analysis
5.1 Conceptual Model Validation Results
5.2 Model Verification Results
5.3 Operational Validation Results
5.4 Summary
6 Summary
7 References
8 Acronyms
View complete report on-line
Shift-click to download the paper in Adobe Acrobat
format
List of other reports in this series
Back to Raj Jain's home page