Generating finite state machines from SystemC

ABSTRACT

SystemC is a system level language proposed to raise the abstraction level for embedded systems design and verification. In this paper, we propose to generate Finite State Machines (FSM) from SystemC designs using two algorithms originally proposed for the generation of FSM from Abstract State Machines (ASM). This proposal enables the integration of SystemC with existing tools for test case generation from FSM. Hence, enabling two important applications: (1) using the FSM graph structure to produce test suites allowing functional testing of SystemC designs; and (2) performing conformance testing, where the FSM serves as a precise model of the observable behavior of the system used to validate lower abstraction levels of the design (e.g., Register Transfer Level (RTL)).

REFERENCES

• 1: M. Barnett and L. Nachmanson W. Schulte. Conformance Checking of Components Against Their Non-deterministic Specifications. Technical report, Microsoft Research, MSR-TR-2001-56, June 2001.
• 2: C. Campbell and M. Veanes. State Exploration with Multiple State Groupings. In Proc. International Workshop on Abstract State Machines, pages 119--130, Paris, France, January 2005.
• 3: Szu-Tsung Cheng , R. K. Brayton , G. York , K. Yelick , A. Saldanha, Compiling Verilog into timed finite state machines, Proceedings of the 4th IEEE International Verilog HDL Conference, p.32, March 27-29, 1995
• 4: Wolfgang Grieskamp , Yuri Gurevich , Wolfram Schulte , Margus Veanes, Generating finite state machines from abstract state machines, ACM SIGSOFT Software Engineering Notes, v.27 n.4, July 2002
• 5: Thorsten Grotker, System Design with SystemC, Kluwer Academic Publishers, Norwell, MA, 2002
• 6: Y. Gurevich, B. Rossman, and W. Schulte. Semantic Essence of AsmL. Technical report, Microsoft Research, MSR-TR-2004-27, March 2004.
• 7: J. Lohse, J. Bormann, M. Payer, and G. Venzl. VHDL-Translation for BDD-based Formal Verification. Technical report, Siemens Corporate R&D, 1994.
• 8: Kenneth L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Norwell, MA, 1993
• 9: Microsoft Research - Foundations of Software Engineering. Spec#. http://research.microsoft.com/specsharp/, 2005.
• 10: Open SystemC Initiative. SystemC 2.0.1 Language Reference Manual. 2005.
• 11: Open SystemC Initiative. www.systemc.org, 2005.
• 12: V. S. Saun. FSM Derivation from SystemC. Technical report, CSE Dept., Indian Instititute of Technology, Delhi, May 2004.
• 13: PCI Special Interest Group. www.pcisig.com, 2004.