Design Automation for Embedded Systems

, Volume 8, Issue 2–3, pp 211–228 | Cite as

Fast and Time-Accurate Cosimulation with OS Scheduler Modeling

  • Youngmin Yi
  • Dohyung Kim
  • Soonhoi Ha


Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time accurate cosimulation that involves component simulators running concurrently and interacting with each other. In this paper, we further extend the virtual synchronization technique with OS modeling for the case where multiple software tasks are executed under the supervision of a real-time operating system. The OS modeler models the RTOS overheads of context switching and tick interrupt handling as well as preemption behavior. While maintaining the timing accuracy to an acceptable level below a few percents, we could reduce the simulation time drastically compared with existent conservative approaches by removing the need of time synchronization between simulators. It is confirmed with a preliminary experiment on a multimedia example that consists of four real-life tasks.

cosimulation virtual synchronization OS modeling 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Mentor Graphics Seamless CVE Home Page, Scholar
  2. 2.
    Zivojnovic, V., and H. Meyr. Compiled HW/SW Co-Simulation. In Proceedings of 33rd Design Automation Conference, June 1996.Google Scholar
  3. 3.
    Passerone, C. Fast Hardware/Software Co-simulation for Virtual Prototyping and Trade-off Analysis. In Proceedings of 34th Design Automation Conference, 1997.Google Scholar
  4. 4.
    Cockx, J. Efficient modeling of preemption in a virtual prototype. In Proceedings of 11th IEEE International Workshop on Rapid System Prototyping, 2000, pp. 14-19.Google Scholar
  5. 5.
    Hines, K. Pia: A Framework for Embedded System Co-simulation with Dynamic Communication Support. Technical Report UW-CSE-96-11-04, 1997.Google Scholar
  6. 6.
    Buck, J., S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems. International Journal of Computer Simulation, special issue on Simulation Software Development, vol. 4, pp. 152-182, April 1994.Google Scholar
  7. 7.
    Yoo, S., G. Nicolescu, L. Gauthier, and A. A. Jerraya. Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design. In Proceedings of Design Automation and Test in Europe, March 2002.Google Scholar
  8. 8.
    Kim, D., C. Rhee, S. Kim, Y. Yi, H. Jung, and S. Ha. Virtual Synchronization for Fast Distributed Cosimulation of Dataflow Task Graphs. In Proceedings of 15th International Symposium on System Synthesis, June 2002.Google Scholar
  9. 9.
    ARMulator. Scholar
  10. 10.
    eCOS. Scholar
  11. 11.
    uCOS. Scholar
  12. 12.
    Hagen, K., and H. Meyer. Timed and Untimed Hardware Software Co-simulation: Application and Efficient Implementation. In Proceedings of International Workshop on Hardware Software Co-design, October 1993.Google Scholar
  13. 13.
    Yoo, S., and K. Choi. Optimistic Distributed Timed Cosimulation Based on Thread Simulation Model. In Proceedings of 6th International Workshop on Hardware/Software Co-Design, March 1998.Google Scholar
  14. 14.
    Sung, W., and S. Ha. Efficient and Flexible Cosimulation Environment for DSP Applications, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Special Issue on VLSI Design and CAD algorithms, Vol. E81-A,No. 12, pp. 2605-2611, December 1998.Google Scholar
  15. 15.
    PeaCE codesign environment, Scholar
  16. 16.
    Tomiyama, H., Y. Cao, and K. Murakami. Modeling Fixed-Priority Preemptive Multi-Task Systems in SpecC. SASIMI, October 2001.Google Scholar
  17. 17.
    CoCentirc System Studio, Scholar
  18. 18.
    CoWare N2C, Scholar
  19. 19.
    Tabbara, B. Fast Hardware-Software Co-simulation Using VHDL Models. In Proceedings of Design Automation and Test in Europe, March 1999.Google Scholar
  20. 20.
    Dumlugol, D. SystemC abstractions and design refinement for HW SW Soc Design. the 9th Electronic Design Processes Workshop, April 2002.Google Scholar
  21. 21.
    ModelSim, Scholar

Copyright information

© Kluwer Academic Publishers 2003

Authors and Affiliations

  • Youngmin Yi
    • 1
  • Dohyung Kim
    • 1
  • Soonhoi Ha
    • 1
  1. 1.School of Computer Science and EngineeringSeoul National UniversitySeoulKorea

Personalised recommendations