Generating finite state machines from systemC

Proceedings -Design, Automation and Test in Europe, DATE

Volumn 2, Issue , 2006, Pages

  Habibi, Ali ^a   Moinudeen, Haja ^a   Tahar, Sofiène ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT STATE MACHINES (ASM); ABSTRACTION LEVELS; SYSTEM LEVEL LANGUAGES;

ALGORITHMS; FINITE AUTOMATA; GRAPH THEORY; LOGIC DESIGN; VERIFICATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34047132817     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2004.1269064     Document Type: Conference Paper

References (13)

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. S. Cheng, R .K. Brayton, G. York, K. Yelick, and A. Saldanha. Compiling Verilog into Timed Finite State Machines. In 4th International Verilog HDL Conference, pages 32-44, Santa Clara, California, USA, March 1995.
4. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. Generating Finite State Machines from Abstract State Machines. Software Engineering Notes, 27(4): 112-122, 2002.
5. T. Grotker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2004.
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. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 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.