DocumentCode :
1645126
Title :
SystemCFL: formalization of SystemC
Author :
Man, K.L.
Author_Institution :
Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
Volume :
1
fYear :
2004
Firstpage :
201
Abstract :
Based on process algebra, the formal language SystemCFL has been developed that is the formalization of SystemC. The language semantics of System CFL is formally defined in a standard structured operational semantics (SOS) style.
Keywords :
C++ language; formal languages; formal specification; hardware-software codesign; process algebra; programming language semantics; SystemC formalization; SystemCFL formal language; hardware level design modeling; language semantics; modeling language; process algebra; standard structured operational semantics; system level design modeling; Clocks; Cost accounting; Delay; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Electrotechnical Conference, 2004. MELECON 2004. Proceedings of the 12th IEEE Mediterranean
Print_ISBN :
0-7803-8271-4
Type :
conf
DOI :
10.1109/MELCON.2004.1346808
Filename :
1346808
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1645126
بازگشت