Simulation analysis and validation

Efficient simulation, static analysis, and model transformation are key techniques to enable design validation and design space exploration. The first paper shows a method for switching between models of different abstraction levels and its application to trade off speed and accuracy in network-on-chip simulation. The second paper combines simulation with analytical techniques to provide estimates that guide the design space exploration of real time systems. The third paper introduces model transformations and validation methods that open an automated path from algorithm design to ESL design.