• DocumentCode
    443262
  • Title

    An overview of SystemCFL

  • Author

    Man, K.L.

  • Author_Institution
    Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
  • Volume
    1
  • fYear
    2005
  • fDate
    25-28 July 2005
  • Firstpage
    145
  • Abstract
    This paper describes our on-going research. Recently, we developed an algebraic theory based on classical process algebra ACP, called SystemCFL, for the specification and analysis of SystemC designs. The semantics of SystemCFL is defined by means of deduction rules in a standard structured operational semantics style that associate a labelled transition system with a SystemCFL process. In this paper, we first provide an overview of the current status of SystemCFL and show some practical applications of SystemCFL, as well as some key features and results of SystemCFL. Then, we give an outline for the latest developments of SystemCFL and point out the direction for future work.
  • Keywords
    C++ language; formal specification; process algebra; programming language semantics; SystemC design; SystemCFL; algebraic theory; classical process algebra; deduction rule; labelled transition system; operational semantics; Algebra; Computer science; Equations; Formal languages; Formal specifications; Formal verification; Hardware design languages; Mathematics; Signal synthesis; System-level design;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Research in Microelectronics and Electronics, 2005 PhD
  • Print_ISBN
    0-7803-9345-7
  • Type

    conf

  • DOI
    10.1109/RME.2005.1543024
  • Filename
    1543024
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=443262