Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design

  title={Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design},
  author={Sungjoo Yoo and Gabriela Nicolescu and Lovic Gauthier and Ahmed Amine Jerraya},
To enable fast and accurate evaluation of HW/SW implementationchoices of on-chip communication, we presenta method to automatically generate timed OS simulationmodels. The method generates the OS simulation modelswith the simulation environment as a virtual processor.Since the generated OS simulation models use finalOS code, the presented method can mitigate the OS codeequivalence problem. The generated model also simulatesdifferent types of processor exceptions. This approach providestwo… CONTINUE READING
Highly Cited
This paper has 63 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 41 extracted citations

63 Citations

Citations per Year
Semantic Scholar estimates that this publication has 63 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-2 of 2 references

From a distributed embedded RTOS to a programatic framework for multi-core SoC

  • E. Verhulst
  • MP SoC school,
  • 2001
Highly Influential
15 Excerpts

Advanced RISC Machines Architectural Reference Manual

  • D. Jaggar
  • 1996
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…