A smooth refinement flow for co-designing HW and SW threads

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2007, Pages 105-110

  Destro, Paolo ^a   Fummi, Franco ^a   Pravadelli, Graziano ^a  

^a UNIVERSITY OF VERONA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; EMBEDDED SYSTEMS; REAL TIME SYSTEMS;

HOMOGENEOUS SIMULATION ENVIRONMENT; REFINEMENT FLOW; SW THREADS;

SYSTEMS ANALYSIS;

EID: 34548301613     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2007.364575     Document Type: Conference Paper

References (21)

1. J. Buck, S. Ha, E. Lee, and D. Messerschmitt. Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems. International Journal in Computer Simulation, vol. 4(2):pp. 155-182, 1994.
2. F. Balarin, M. Chiodo, P.Giusto, H.Hsieh, A.Jurecska, L.Lavagno, C.Passerone, A.Sangiovanni-Vincentelli, E.Sentovich, K.Suzuki, and B.Tabbara. Hardware-Software Co-Design of Embedded Systems: The Polis Approach. Kluwer Academic Press, 1997.
3. D. Desmet, D. Verkest, and H. D. Man. Operating system based software generation for systems-on-chip. In Proc. of ACM/IEEE DAC, pp. 396-401. 2000.
4. L. Formaggio, F. Fummi, and G. Pravadelli. A Timing-Accurate HW/SW Co-Simulation of an ISS with SystemC. In Proc. of IEEE CODES+ISSS, pp. 152-157. 2004.
5. S. Honda, T. Wakabayashi, H. Tomiyama, and H. Takada. RTOS-centric hardware/software cosimulator for embedded system design. In Proc. of IEEE CODES+ISSS, pp. 158-163. 2004.
6. A. A. Jerraya and W. Wolf. Hardware/Software Interface Codesing for Embedded Systems. IEEE Computers, vol. 38(2):pp. 63-69, 2005.
7. Z. Xiong, M. Zhang, S. Li, S. Liu, and Y. Chao. Virtual embedded operating system for hardware/software co-design. In Proc. of IEEE ASICON, pp. 939-943. 2005.
8. P. Coste, F. Hessel, P. L. Marrec, Z. Sugar, M. Romdhani, R. Suescun, N. Zergainoh, and A. Jerraya. Multilanguage Design of Heterogeneous Systems. In Proc. of IEEE CODES, pp. 54-58. 1999.
9. C. Valderrama, F. Nacabal, P. Paulin, and A. Jerraya. Automatic VHDL-C Interface Generation for Distributed Co-Simulation: Application to Large Design Examples. Design Automation for Embedded Systems, vol. 3(2/3):pp. 199-217, 1998.
10. L. Semeria and A. Ghosh. Methodology for Hardware/Software Co-verification in C/C++. In Proc. of IEEE ASP-DAC, pp. 405-408. 2000.
11. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. on Software Engineering, vol. 16(4):pp. 403-414, 1990.
12. D. Gajski, J. Zhu, R. Domer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. Kluwer Academic Press, 2000.
13. J. Aynsley and D. Long. SystemC Language Reference Manual. Open SystemC Initiative, 2005.
14. I. Moussa, T. Grellier, and G. Nguyen. Exploring SW Performance Using SoC Transaction-level Modelling. In Proc. of IEEE Design Automation and Test in Europe, pp. 120-125. 2003.
15. H. Patel and S. Shukla. Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 24(8):pp. 1261-1271, 2005.
16. http://www.synopsys.com. Synopsys CoCentric System Studio.
17. D. Edenfeld, A. B. Kahng, M. Rodgers, and Y. Zorian. 2003 Technology Roadmap for Semiconductors. IEEE Computer, vol. 37(1):pp. 47-56, 2004.
18. L. Gauthier, S. Yoo, and A. A. Jerraya. Automatic Generation and Targeting of Application-Specific Operating Systems and Embedded Systems Software. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 20(11):pp. 1239-1301, 2001.
19. F. Herrera, H. Posadas, P. Sanchez, and E. Villar. Systematic Embedded Software Generation from SystemC. In Proc. of IEEE DATE, pp. 10142-10147. 2003.
20. H. Yu, R. Domer, and D. Gajski. Embedded Software Generation from System Level Design Languages. In Proc. of IEEE ASP-DAC, pp. 463-4468. 2004.
21. J. Chevalier, M. de Nanclas, L. Filion, O. Benny, M. Rondonneau, G. Bois, and E. M. Aboulhamid. A SystemC Refinement Methodology for Embedded Software. IEEE Design and Test of Computers, vol. 23(2):pp. 148-158, 2006.