An overview of systemCdouble-struck F signdouble-struck L sign

K. L. Man

doi:10.1109/RME.2005.1543024

An overview of systemC^{double-struck F signdouble-struck L sign}

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

Abstract

This paper describes our on-going research. Recently, we developed an algebraic theory based on classical process algebra ACP, called SystemC ^{double-struck F signdouble-struck L sign}, for the specification and analysis of SystemC designs. The semantics of SystemC ^{double-struck F signdouble-struck L sign} is defined by means of deduction rules in a standard structured operational semantics style that associate a labelled transition transition system with a SystemC ^{double-struck F signdouble-struck L sign} process. In this paper, we first provide an overview of the current status of SystemC ^{double-struck F signdouble-struck L sign} and show some practical applications of SystemC^{double-struck F signdouble-struck L sign}, as well as some key features and results of SystemC ^{double-struck F signdouble-struck L sign}. Then, we give an out-line for the latest developments of SystemC ^{double-struck F signdouble-struck L sign} and point out the direction for future work.

Original language	English
Title of host publication	2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference
Pages	119-122
Number of pages	4
DOIs	https://doi.org/10.1109/RME.2005.1543024
Publication status	Published - 2005
Externally published	Yes
Event	2005 PhD Research in Microelectronics and Electronics Conference - Lausanne, Switzerland Duration: 25 Jul 2005 → 28 Jul 2005

Publication series

Name	2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference
Volume	I

Conference

Conference	2005 PhD Research in Microelectronics and Electronics Conference
Country/Territory	Switzerland
City	Lausanne
Period	25/07/05 → 28/07/05

Access to Document

10.1109/RME.2005.1543024

Cite this

@inproceedings{94e8afcc8d34482fb2ae589aa68e855a,

title = "An overview of systemCdouble-struck F signdouble-struck L sign",

abstract = "This paper describes our on-going research. Recently, we developed an algebraic theory based on classical process algebra ACP, called SystemC double-struck F signdouble-struck L sign, for the specification and analysis of SystemC designs. The semantics of SystemC double-struck F signdouble-struck L sign is defined by means of deduction rules in a standard structured operational semantics style that associate a labelled transition transition system with a SystemC double-struck F signdouble-struck L sign process. In this paper, we first provide an overview of the current status of SystemC double-struck F signdouble-struck L sign and show some practical applications of SystemCdouble-struck F signdouble-struck L sign, as well as some key features and results of SystemC double-struck F signdouble-struck L sign. Then, we give an out-line for the latest developments of SystemC double-struck F signdouble-struck L sign and point out the direction for future work.",

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

year = "2005",

doi = "10.1109/RME.2005.1543024",

language = "English",

isbn = "0780393457",

series = "2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference",

pages = "119--122",

booktitle = "2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference",

note = "2005 PhD Research in Microelectronics and Electronics Conference ; Conference date: 25-07-2005 Through 28-07-2005",

}

Man, KL 2005, An overview of systemC^{double-struck F signdouble-struck L sign}. in 2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference., 1543024, 2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference, vol. I, pp. 119-122, 2005 PhD Research in Microelectronics and Electronics Conference, Lausanne, Switzerland, 25/07/05. https://doi.org/10.1109/RME.2005.1543024

An overview of systemC^{double-struck F signdouble-struck L sign}. / Man, K. L.
2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference. 2005. p. 119-122 1543024 (2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference; Vol. I).

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

TY - GEN

T1 - An overview of systemCdouble-struck F signdouble-struck L sign

AU - Man, K. L.

PY - 2005

Y1 - 2005

N2 - This paper describes our on-going research. Recently, we developed an algebraic theory based on classical process algebra ACP, called SystemC double-struck F signdouble-struck L sign, for the specification and analysis of SystemC designs. The semantics of SystemC double-struck F signdouble-struck L sign is defined by means of deduction rules in a standard structured operational semantics style that associate a labelled transition transition system with a SystemC double-struck F signdouble-struck L sign process. In this paper, we first provide an overview of the current status of SystemC double-struck F signdouble-struck L sign and show some practical applications of SystemCdouble-struck F signdouble-struck L sign, as well as some key features and results of SystemC double-struck F signdouble-struck L sign. Then, we give an out-line for the latest developments of SystemC double-struck F signdouble-struck L sign and point out the direction for future work.

AB - This paper describes our on-going research. Recently, we developed an algebraic theory based on classical process algebra ACP, called SystemC double-struck F signdouble-struck L sign, for the specification and analysis of SystemC designs. The semantics of SystemC double-struck F signdouble-struck L sign is defined by means of deduction rules in a standard structured operational semantics style that associate a labelled transition transition system with a SystemC double-struck F signdouble-struck L sign process. In this paper, we first provide an overview of the current status of SystemC double-struck F signdouble-struck L sign and show some practical applications of SystemCdouble-struck F signdouble-struck L sign, as well as some key features and results of SystemC double-struck F signdouble-struck L sign. Then, we give an out-line for the latest developments of SystemC double-struck F signdouble-struck L sign and point out the direction for future work.

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

U2 - 10.1109/RME.2005.1543024

DO - 10.1109/RME.2005.1543024

M3 - Conference Proceeding

AN - SCOPUS:33750290335

SN - 0780393457

SN - 9780780393455

T3 - 2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference

SP - 119

EP - 122

BT - 2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference

T2 - 2005 PhD Research in Microelectronics and Electronics Conference

Y2 - 25 July 2005 through 28 July 2005

ER -