StateCharts to systemc: A high level hardware simulation approach

Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI

Volumn , Issue , 2007, Pages 505-508

  Mura, Marcello ^a   Paolieri, Marco ^a   Negri, Luca ^b   Sami, Maria Giovanna ^b  

^a UNIVERSITY OF LUGANO   (Switzerland)

^b DEI   (Italy)

Author keywords

Simulators; StateCharts; SystemC

Indexed keywords

CACHE MEMORY; CIRCUIT SIMULATION; COMPUTER SIMULATION LANGUAGES; INTEGRATED CIRCUIT LAYOUT; INTEGRATED CIRCUIT TESTING; VERIFICATION;

BEHAVIORAL MODELS; STATECHARTS DIAGRAMS; SYSTEMC (SYSTEM VERIFICATION LANGUAGE);

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 34748883966     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1228784.1228904     Document Type: Conference Paper

References (15)

1. PowerPC 750 microprocessor datasheet. Technical report, IBM Microelectronics Division, 2002.
2. M. V. D. Beek. A comparison of StateChart variants. In Formal Techniques in Real-Time, and Fault tolerant Systems, 1994.
3. F. Fummi, M. Sami, and F. Tartarini. Use of Statecharts-Related description to achieve testable design of control subsystems. In Proc. GLSVLSI, 1997.
4. D. Harel. Statecharts: A visual formulation for complex systems. Sci. Comput. Program., 1987.
5. D. Harel and A. Naamad. The STATEMATE semantics of StateCharts. ACM Transactions on Software Engineering and Methodologies, 1995.
6. I-Logix. Statemate. http://www.ilogix.com.
7. MathWorks. Stateflow. http://www.mathworks.com.
8. G. D. Micheli and R. Gupta. Hardware/Software co-design. In Proc. of IEEE, Mar. 1997.
9. M. Mura, M. Paolieri, F. Fabbri, L. Negri, and M. Sami. Power modeling and power analysis of IEEE 802.15.4: a concurrent state machine approach. In Proc. CCNC, Jan. 2007.
10. L. Negri, M. Sami, D. Macii, and A. Terranegra. FSM-based power modeling of wireless protocols: the case of Bluetooth. In Proc. ISLPED, 2004.
11. K. D. Nguyen. Model-driven SoC design via executable UML to SystemC.
12. P. Palatin. MicroLib: http://ppc750sim.microlib.org
13. A. Pnueli and M. Shalev. What is in a step: on the semantics of StateCharts. In Proc. STACS, 1991.
14. D. Singh, J. Rabaey, M. Pedram, F. Catthoor, S. Rajgopal, N. Sehgal, and T. Mozdzen. Power conscious CAD tools and methodologies: a perspective. In Proc. of IEEE, Apr. 1995.
15. C. Xi, L. J. Hua, Z. ZuCheng, and S. YaoHui. Modeling SystemC design in UML and automatic code generation. In Proc. of ASP-DAC, 2005.