Fast hardware/software co-simulation for virtual prototyping and trade-off analysis

Authors:
Claudio Passerone;Luciano Lavagno;Massimiliano Chiodo;Alberto Sangiovanni-Vincentelli
Affiliations:
Politecnico di Torino, Cadence Europeans Labs, Italy;Politecnico di Torino, Cadence Europeans Labs, Italy;Alta Group of Cadence Design Systems;Dept. of EECS, University of California at Berkeley
Venue:
DAC '97 Proceedings of the 34th annual Design Automation Conference
Year:
1997

Citing 7
Cited 7

Hardware/software co-simulation

DAC '94 Proceedings of the 31st annual Design Automation Conference
Synthesis of software programs for embedded control application

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Fast discrete function evaluation using decision diagrams

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Fast functional simulation using branching programs

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Efficient software performance estimation methods for hardware/software codesign

DAC '96 Proceedings of the 33rd annual Design Automation Conference
Compiled HW/SW co-simulation

DAC '96 Proceedings of the 33rd annual Design Automation Conference
Hardware-Software Codesign of Embedded Systems

IEEE Micro

Peer-based multithreaded executable co-specification

CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
ipChinook: an integrated IP-based design framework for distributed embedded systems

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
A Specification Refinement Methodology for Power Efficient Partitioning of Data-Dominated Algorithms Within Performance Constraints

Journal of VLSI Signal Processing Systems
Methodology for hardware/software co-verification in C/C++ (short paper)

ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Virtual synchronization technique with OS modeling for fast and time-accurate cosimulation

Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Interrupt modeling for efficient high-level scheduler design space exploration

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Exploring design space using transaction level models

ACSAC'05 Proceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

Hardware/software co-simulation is generally performed withseparate simulation models.This makes trade-off evaluationdifficult, because the models must be re-compiled wheneversome architectural choice is changed.We propose a techniqueto simulate hardware and software that is almost cycle-accurate,and uses the same model for both types of components.Only the timing information used for synchronizationneeds to be changed to modify the processor choice, the implementationchoice, or the scheduling policy.We show howthis technique can be used to decide the implementation of areal-life example, a car dashboard controller.