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 -