| Abstract |
|
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.
|
 Additional Information
|
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
|
