This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Using GCC's front-end to parse SystemC
- From: <tm_gccmail at mail dot kloo dot net>
- To: Matthieu Moy <Matthieu dot Moy at imag dot fr>
- Cc: gcc at gcc dot gnu dot org
- Date: Mon, 24 Mar 2003 12:26:24 -0800 (PST)
- Subject: Re: Using GCC's front-end to parse SystemC
On Mon, 24 Mar 2003, Matthieu Moy wrote:
> 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.
This sounds kinda bad. It's like buying a Honda Accord because you need a
few metric bolts. You would have to learn too much to use gcc's front end.
You might want to look at something more lightweight instead, like lcc.
Toshi