skip to main content
10.1145/1228784.1228904acmconferencesArticle/Chapter ViewAbstractPublication PagesglsvlsiConference Proceedingsconference-collections
Article

StateCharts to systemc: a high level hardware simulation approach

Published: 11 March 2007 Publication History

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]
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.

Cited By

View all
  • (2015)SCV2: A model-based validation and verification approach to system-of-systems engineering2015 10th System of Systems Engineering Conference (SoSE)10.1109/SYSOSE.2015.7151960(422-427)Online publication date: May-2015
  • (2012)Single-source hardware modeling of different abstraction levels with State Charts2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)10.1109/HLDVT.2012.6418241(41-48)Online publication date: Nov-2012
  • (2011)ADSCProceedings of the First international conference on Information and communication on technology for the fight against global warming10.5555/2035539.2035560(165-179)Online publication date: 30-Aug-2011
  • Show More Cited By

Index Terms

  1. StateCharts to systemc: a high level hardware simulation approach

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    GLSVLSI '07: Proceedings of the 17th ACM Great Lakes symposium on VLSI
    March 2007
    626 pages
    ISBN:9781595936059
    DOI:10.1145/1228784
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 11 March 2007

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. StateCharts
    2. simulators
    3. systemC

    Qualifiers

    • Article

    Conference

    GLSVLSI07
    Sponsor:
    GLSVLSI07: Great Lakes Symposium on VLSI 2007
    March 11 - 13, 2007
    Stresa-Lago Maggiore, Italy

    Acceptance Rates

    Overall Acceptance Rate 312 of 1,156 submissions, 27%

    Upcoming Conference

    GLSVLSI '25
    Great Lakes Symposium on VLSI 2025
    June 30 - July 2, 2025
    New Orleans , LA , USA

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 27 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2015)SCV2: A model-based validation and verification approach to system-of-systems engineering2015 10th System of Systems Engineering Conference (SoSE)10.1109/SYSOSE.2015.7151960(422-427)Online publication date: May-2015
    • (2012)Single-source hardware modeling of different abstraction levels with State Charts2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)10.1109/HLDVT.2012.6418241(41-48)Online publication date: Nov-2012
    • (2011)ADSCProceedings of the First international conference on Information and communication on technology for the fight against global warming10.5555/2035539.2035560(165-179)Online publication date: 30-Aug-2011
    • (2011)Iterative Knowledge Based Embedded Systems Development FrameworkReconfigurable Embedded Control Systems10.4018/978-1-60960-086-0.ch020(542-566)Online publication date: 2011
    • (2010)Fast and accurate UML State Chart modeling using TLM+ control flow abstraction2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)10.1109/HLDVT.2010.5496654(97-102)Online publication date: Jun-2010
    • (2009)SystemC/C-based model-driven design for embedded systemsACM Transactions on Embedded Computing Systems10.1145/1550987.15509938:4(1-37)Online publication date: 24-Jul-2009
    • (2008)Modelling the power cost of security in Wireless Sensor Networks : The case of 802.15.42008 International Conference on Telecommunications10.1109/ICTEL.2008.4652616(1-8)Online publication date: Jun-2008
    • (2008)SC2 StateCharts to SystemC: Automatic Executable Models GenerationEmbedded Systems Specification and Design Languages10.1007/978-1-4020-8297-9_16(227-239)Online publication date: 2008
    • (2007)Ultra-Low-Power Optimizations for the IEEE 802.15.4 Networking Protocol2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems10.1109/MOBHOC.2007.4428630(1-9)Online publication date: Oct-2007

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media