SystemCdouble struck F sign double struck L sign: A formalism for hardware/software co-design

K. L. Man*

*Corresponding author for this work

Research output: Chapter in Book or Report/Conference proceedingConference Proceedingpeer-review

4 Citations (Scopus)

Abstract

SystemCdouble struck F sign double struck L sign is a formal language for hardware/software co-design. Principally, SystemCdouble struck F sign double struck L sign; 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 of SystemC processes. This paper, designed for the first-time user of SystemCdouble struck F sign double struck L sign;, guides the reader through modeling, analyzing and verifying designs using SystemCdouble struck F sign double struck L sign;. This paper Illustrates the use of SystemCdouble struck F sign double struck L sign; with two case studies taken from literature.

Original languageEnglish
Title of host publicationProceedings of the 2005 European Conference on Circuit Theory and Design
Pages193-196
Number of pages4
DOIs
Publication statusPublished - 2005
Externally publishedYes
Event2005 European Conference on Circuit Theory and Design - Cork, Ireland
Duration: 28 Aug 20052 Sept 2005

Publication series

NameProceedings of the 2005 European Conference on Circuit Theory and Design
Volume1

Conference

Conference2005 European Conference on Circuit Theory and Design
Country/TerritoryIreland
CityCork
Period28/08/052/09/05

Cite this