Fast and accurate timed execution of high level embedded software using HW/SW interface simulation model

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 2004, Pages 469-474

  Bouchhima, Aimen ^a   Yoo, Sungjoo ^a   Jerraya, Ahmed ^a  

^a TIMA LABORATORY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DIGITAL LIBRARIES; EMBEDDED SYSTEMS; HIERARCHICAL SYSTEMS; INTERFACES (COMPUTER); MATHEMATICAL MODELS; SIMULATORS;

ARBITRARY ABSTARCTION; COSIMULTAION; EMBEDDED SOFTWARE;

COMPUTER SOFTWARE;

EID: 2442615978     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Mentor Graphics Seamless CVE, http://www.mentor.com
2. D. Gajski, et. al., "Transaction based design: Another Buzzword or the solution to a Design Problem", Proc. of Design, Automation & Test in Europe, March 2003.
3. A. Tanenbaum, "Structured Computer Organization", Prentice-Hall Inc. 1999-2000.
4. SystemC, http://www.systemc.org/
5. SpecC, http://www.specc.org/
6. CarbonKernel, http://savannah.nongnu.org/projects/carbonkernel/
7. Xenomai, www.xenomai.org/
8. VxSim, www.windriver.com/products/vxsim/
9. D. Desmet, D. Verkest and H. De man, "Operating system based SW generation for system-on-chip", In Proc. Design Automation Conference, June 2000.
10. M. Gonzales and J. Madsen. "Abstract rtos modelling in systemc", Proc. NORCHIP 2002, Nov. 2002.
11. T. Tan and A. Raghunathan. "SW Architectural Transformation: A new approach to Low Energy Embedded SW", Proc. of Design, Automation & Test in Europe, March 2003.
12. eCos, http://sources.redhat.com/ecos/
13. W. Cesario, et. al., "Component-Based Design Approach for Multicore SoCs", Proc. Design Automation Conference, 2002.
14. rd Int'l Seminar on Application-Specific Multi-Processor SoC, Chamonix, France, July, 2003.
15. A. Gerstlauer, H. Yu and D. Gajski, "RTOS Modeling for System-Level Design", Proc. of Design, Automation & Test in Europe, March 2003.
16. S. M. Tan, et. al., "Virtual Hardware for Operating System Development", Technical rep., UIUC, Sep. 1995, http://choices.cs.uiuc.edu/ uChoices/Papers/uChoices/vchoices/vchoices.pdf
17. M. Lajolo, M. Lazarescu and A. Sangiovanni-Vincentelli, "A Compilation-based Software Estimation Scheme for Hardware/Software Co-simulation", Proc. Int'l HW/SW Codesign Workshop, 1999.
18. Virtual Component Codesign, Cadence Design Systems Inc., http://www.cadence.com/products/vcc.html