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

K. L. Man

doi:10.1109/ECCTD.2005.1522943

SystemC^{double struck F sign double struck L sign}: A formalism for hardware/software co-design

K. L. Man^*

^*Corresponding author for this work

Eindhoven University of Technology

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

4 Citations (Scopus)

Abstract

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

Original language	English
Title of host publication	Proceedings of the 2005 European Conference on Circuit Theory and Design
Pages	193-196
Number of pages	4
DOIs	https://doi.org/10.1109/ECCTD.2005.1522943
Publication status	Published - 2005
Externally published	Yes
Event	2005 European Conference on Circuit Theory and Design - Cork, Ireland Duration: 28 Aug 2005 → 2 Sept 2005

Publication series

Name	Proceedings of the 2005 European Conference on Circuit Theory and Design
Volume	1

Conference

Conference	2005 European Conference on Circuit Theory and Design
Country/Territory	Ireland
City	Cork
Period	28/08/05 → 2/09/05

Access to Document

10.1109/ECCTD.2005.1522943

Cite this

@inproceedings{312ca77608724f26a20d7e71ba002cb1,

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

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.",

author = "Man, {K. L.}",

year = "2005",

doi = "10.1109/ECCTD.2005.1522943",

language = "English",

isbn = "0780390660",

series = "Proceedings of the 2005 European Conference on Circuit Theory and Design",

pages = "193--196",

booktitle = "Proceedings of the 2005 European Conference on Circuit Theory and Design",

note = "2005 European Conference on Circuit Theory and Design ; Conference date: 28-08-2005 Through 02-09-2005",

}

Man, KL 2005, SystemC^{double struck F sign double struck L sign}: A formalism for hardware/software co-design. in Proceedings of the 2005 European Conference on Circuit Theory and Design., 1522943, Proceedings of the 2005 European Conference on Circuit Theory and Design, vol. 1, pp. 193-196, 2005 European Conference on Circuit Theory and Design, Cork, Ireland, 28/08/05. https://doi.org/10.1109/ECCTD.2005.1522943

SystemC^{double struck F sign double struck L sign}: A formalism for hardware/software co-design. / Man, K. L.
Proceedings of the 2005 European Conference on Circuit Theory and Design. 2005. p. 193-196 1522943 (Proceedings of the 2005 European Conference on Circuit Theory and Design; Vol. 1).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

TY - GEN

T1 - SystemCdouble struck F sign double struck L sign

T2 - 2005 European Conference on Circuit Theory and Design

AU - Man, K. L.

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33749053230&partnerID=8YFLogxK

U2 - 10.1109/ECCTD.2005.1522943

DO - 10.1109/ECCTD.2005.1522943

M3 - Conference Proceeding

AN - SCOPUS:33749053230

SN - 0780390660

SN - 9780780390669

T3 - Proceedings of the 2005 European Conference on Circuit Theory and Design

SP - 193

EP - 196

BT - Proceedings of the 2005 European Conference on Circuit Theory and Design

Y2 - 28 August 2005 through 2 September 2005

ER -