Operating system based software generation for systems-on-chip
Proceedings of the 37th Annual Design Automation Conference
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
PEAS-III: An ASIP Design Environment
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
Validating Real-Time Constraints in Embedded Systems
PRDC '01 Proceedings of the 2001 Pacific Rim International Symposium on Dependable Computing
RTOS Modeling for System Level Design
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Enabling RTOS simulation modeling in a system level design language
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Hi-index | 0.05 |
In this paper, we describe our methodology for cosimulationat a high level of abstraction, to validate theexecution of real time applications on simulated H/W,using a simulation wrapper of a real time operatingsystem (RTOS). The simulation wrapper is built on kerneltarget specification described in a kernel frameworkmodel (KFM), by adding the constructs needed forsimulation dynamics to create a simulation model of anRTOS. We describe these dynamics and then show theinteraction of the embedded S/W consisting of thesimulation model of the RTOS and the applicationrunning above, with a bus functional model (BFM) of amicro-controller. Our methodology is demonstrated byS/W application.