This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Using GCC's front-end to parse SystemC
- From: Matthieu Moy <Matthieu dot Moy at imag dot fr>
- To: gcc at gcc dot gnu dot org
- Date: Mon, 24 Mar 2003 16:56:35 +0100
- Subject: Using GCC's front-end to parse SystemC
- Organization: Verimag
Hi !
For my Ph. D thesis, I'm going to apply formal verification methods to
SystemC programs.
(For your information, SystemC is an open source library for C++ which
allows the modeling of Systems on a Chip (complex hardware systems).
It has primitives to model mainly concurency and communication between
modules.)
In short, I'd like to reuse GCC's front-end to generate a formal model
of the program. RTL description seems to be to low level for my work,
so, I'm studying the possibilities of the tree representation.
Has anyone already had a similar experience ? Any advice to begin
(Yes, I've read http://gcc.gnu.org/onlinedocs/gccint/) ?
Thanks
--
Matthieu