StateCharts to systemc: a high level hardware simulation approach

ABSTRACT

In this paper we present a tool that converts specifications written with a subset of StateCharts into SystemC behavioral models. The main advantages of such an approachare rapidity of use, simplicity and reusability. Various systems can be modeled at different levels of abstraction andaccuracy through StateCharts and different peculiar aspects (e.g. energy, performances) can be taken into consideration. Moreover different parts of the design can be identified at different detail levels. The kernel of the simulator is fully discussed together with its mapping to the semantics of our StateCharts diagrams. As a case study we present here a model of the IBM PowerPC 750 Cache system and the respective SystemC simulator automatically generated by our tool.

REFERENCES

• 1: PowerPC 750 microprocessor datasheet. Technical report, IBM Microelectronics Division, 2002.
• 2: Michael von der Beeck, A Comparison of Statecharts Variants, Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.128-148, September 19-23, 1994
• 3: F. Fummi , M. Sami , F. Tartarini, Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems, Proceedings of the 7th Great Lakes Symposium on VLSI, p.118, March 13-15, 1997
• 4: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 5: David Harel , Amnon Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.4, p.293-333, Oct. 1996 [doi>10.1145/235321.235322]
• 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: Luca Negri , Mariagiovanna Sami , David Macii , Alessandra Terranegra, FSM--based power modeling of wireless protocols: the case of bluetooth, Proceedings of the 2004 international symposium on Low power electronics and design, August 09-11, 2004, Newport Beach, California, USA [doi>10.1145/1013235.1013323]
• 11: K. D. Nguyen. Model-driven SoC design via executable UML to SystemC.
• 12: P. Palatin. MicroLib: http://ppc750sim.microlib.org
• 13: Amir Pnueli , M. Shalev, What is in a Step: On the Semantics of Statecharts, Proceedings of the International Conference on Theoretical Aspects of Computer Software, p.244-264, September 24-27, 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: Chen Xi , Lu JianHua , Zhou ZuCheng , Shang YaoHui, Modeling SystemC design in UML and automatic code generation, Proceedings of the 2005 conference on Asia South Pacific design automation, January 18-21, 2005, Shanghai, China [doi>10.1145/1120725.1120760]

INDEX TERMS

Primary Classification:
  B. Hardware
  B.6 LOGIC DESIGN
      B.6.3 Design Aids
          Subjects: Simulation

General Terms:
Design, Performance

Keywords:
StateCharts, simulators, systemC