A SystemC refinement methodology for embedded software

IEEE Design and Test of Computers

Volumn 23, Issue 2, 2006, Pages 148-158

  Chevalier, Jérôme ^a   de Nanclas, Maxime ^a   Filion, Luc ^a   Benny, Olivier ^a   Rondonneau, Mathieu ^a   Bois, Guy ^a   Aboulhamid, El Mostapha ^b  

^a ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

^b UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; REAL TIME SYSTEMS;

ABSTRACTION LAYERS; EMBEDDED SOFTWARE; REAL-TIME OPERATING SYSTEM (RTOS);

EMBEDDED SYSTEMS;

EID: 33645814040     PISSN: 07407475     EISSN: None     Source Type: Journal    
DOI: 10.1109/MDT.2006.27     Document Type: Article

References (13)

1. F. Charlot, "Mastering Reusable Designs," Électronique, vol. 99, no. 1, Jan. 2000, pp. 70-74 (in French).
2. G. Martin and H. Chang, Winning the SoC Revolution, Kluwer Academic Publishers, 2003.
3. P. Hardee, "SystemC: A Realistic SoC Debug Strategy," EE Times, 3 June 2002, http://www.embedded.com/ showArticle.jhtml?articlelD=9900627.
4. Open SystemC Initiative (OSCI), Language Reference Manual version 2.1, Apr. 2005; http://www.systemc.org.
5. T. Grötker et al., System Design with SystemC, Kluwer Academic Publishers, 2002.
6. Synopsys Cocentric System Studio; http://www.synopsys.com.
7. A. Donlin, "Transaction Level Modeling: Flows and Use Models," Proc. Int'l Conf. Hardware/Software Codesign and System Synthesis (CODES + ISSS 04), IEEE Press, 2004, pp. 75-80.
8. L. Cai and D. Gajski, "Transaction Level Modeling: An Overview," Proc. Int'l Conf. Hardware/Software Codesign and System Synthesis (CODES + ISSS 03), IEEE Press, 2003, pp. 19-24.
9. D. Maliniak, "SystemC Closes the C-to-RTL Gap," OSCI/OCP-IP Special Report/Supplement to Electronic Design, 13 Jan. 2005; http:// www.elecdesign.com/Issues/IssueID/300/300.html.
10. J. Chevalier et al., "SPACE: A Hardware/Software System C Modeling Platform Including an RTOS," Languages for System Specification, C. Grimm, ed., Kluwer Academic Publishers, 2004, pp. 91-104.
11. M. Caldari et al., "Transaction-Level Models for AMBA Bus Architecture Using SystemC 2.0," Proc. Design, Automation and Test in Europe (DATE 03), IEEE Press, 2003, pp. 26-31.
12. J.J. Labrosse, MicroC/OS-II, The Real-Time Kernel, 2nd ed., CMP Books, 2002.
13. B.O. Gallmeister, Programming for the Real World, POSIX 4, O'Reilly, 1995.