SystemCFL :: A formalism for hardware/software co-design

被引：0
作者：
Man, KL [1 ]
机构：
[1] Eindhoven Univ Technol, Dept Math & Comp Sci, Formal Methods Grp, NL-5600 MB Eindhoven, Netherlands
来源：
Proceedings of the 2005 European Conference on Circuit Theory and Design, Vol 1 | 2005年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
SystemC(FL) is a formal language for hardware/software co-design. Principally, SystemC(FL) is the formalization of SystemC based on classical process algebra ACP. The language is aimed to give formal specification of SystemC designs and perform formal analysis or SystemC processes. This paper, designed for the first-time user of SystemC(FL), guides the reader through modeling, analyzing and verifying designs using SystemC(FL). This paper illustrates the Use Of SystemC(FL) with two case studies taken from literature.
引用
收藏
页码：193 / 196
页数：4
相关论文
共 13 条
  • [1] ACETO L, 1999, BPS01, P197
  • [2] BAETEN JCM, 1999, CAMBRIDGE TRACTS THE, V18
  • [3] The model checker SPIN
    Holzmann, GJ
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) : 279 - 295
  • [4] Larsen K.G., 1997, J SOFTWARE TOOLS TEC, V1, P134
  • [5] MAN KL, 2005, P 8 IEEE WORKSH DES, P244
  • [6] MAN KL, 2004, INSPEC IEE P 9 BALT, P155
  • [7] MAN KL, 2005, IN PRESS IEEE P 8 EU
  • [8] MAN KL, 2004, IEEE P 12 MED EL C I, V1, P201
  • [9] MAN KL, 2004, P 11 INT C MIX DES I, P407
  • [10] Mueller W, 2001, P DATE
12