Fast and time-accurate cosimulation with OS scheduler modeling

Design Automation for Embedded Systems

Volumn 8, Issue 2-3, 2003, Pages 211-228

  Yi, Youngmin ^a   Kim, Dohyung ^a   Ha, Soonhoi ^a  

^a Seoul National University   (South Korea)

Author keywords

Cosimulation; OS modeling; Virtual synchronization

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; MATHEMATICAL MODELS; MULTIMEDIA SYSTEMS; REAL TIME SYSTEMS; SYNCHRONIZATION;

REAL TIME OPERATING SYSTEM; VIRTUAL SYNCHRONIZATION;

COMPUTER ARCHITECTURE;

EID: 0348252234     PISSN: 09295585     EISSN: None     Source Type: Journal    
DOI: 10.1023/b:daem.0000003963.20442.29     Document Type: Article

References (21)

1. Mentor Graphics Seamless CVE Home Page, http://www.mentorg.com/seamless/.
2. Zivojnovic, V., and H. Meyr. Compiled HW/SW Co-Simulation. In Proceedings of 33rd Design Automation Conference, June 1996.
3. Passerone, C. Fast Hardware/Software Co-simulation for Virtual Prototyping and Trade-off Analysis. In Proceedings of 34th Design Automation Conference, 1997.
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.
5. Hines, K. Pia: A Framework for Embedded System Co-simulation with Dynamic Communication Support. Technical Report UW-CSE-96-11-04, 1997.
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.
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.
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.
9. ARMulator. http://www.arm.com.
10. eCOS. http://sources.redhat.com/ecos.
11. uCOS. http://www.ucos-ii.com.
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.
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.
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.
15. PeaCE codesign environment, http://peace.snu.ac.kr.
16. Tomiyama, H., Y. Cao, and K. Murakami. Modeling Fixed-Priority Preemptive Multi-Task Systems in SpecC. SASIMI, October 2001.
17. CoCentirc System Studio, http://www.synopsys.com/products/cocentric_studio.
18. CoWare N2C, http://www.coware.com/cowareN2C.html.
19. Tabbara, B. Fast Hardware-Software Co-simulation Using VHDL Models. In Proceedings of Design Automation and Test in Europe, March 1999.
20. Dumlugol, D. SystemC abstractions and design refinement for HW SW Soc Design, the 9th Electronic Design Processes Workshop, April 2002.
21. ModelSim, http://www.model.com/products/.