loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth International Conference on Application of Concurrency to System Design (ACSD'05)
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level
St. Malo, France
June 07-June 09
ISBN: 0-7695-2363-3
ASCII Text
x 
 
M. Moy, F. Maraninchi, L. Maillet-Contoz, "LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level," Application of Concurrency to System Design, International Conference on, pp. 26-35, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ACSD.2005.23,
author = {M. Moy and F. Maraninchi and L. Maillet-Contoz},
title = {LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2005},
issn = {1550-4808},
pages = {26-35},
doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.23},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level
SN - 1550-4808
SP26
EP35
A1 - M. Moy,
A1 - F. Maraninchi,
A1 - L. Maillet-Contoz,
PY - 2005
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
M. Moy, STMicroelectronics
F. Maraninchi, Centre équation
L. Maillet-Contoz, STMicroelectronics
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to build a set of parallel automata that capture the semantics of a SystemC design, including the transaction level specific constructs. As far as we know, this provides the first executable formal semantics of SystemC. Being implemented as a traditional compiler front-end, it is able to deal with general SystemC designs. The intermediate representation is now connected to existing formal verification tools via appropriate encodings. The toolbox is open and other tools will be used in the future.
Citation:
M. Moy, F. Maraninchi, L. Maillet-Contoz, "LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level," acsd, pp.26-35, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.