|
Re: SystemC to Promela transformer [message #1328528 is a reply to message #1328303] |
Fri, 02 May 2014 18:52 |
Ed Willink Messages: 7670 Registered: July 2009 |
Senior Member |
|
|
Hi
Do not write a new C++ parser; it will take a very very long time to get
right.
You certainly need necessarily all of the C++ grammar and a good C++
preprocessor too.
You should re-use an existing C++ parser, (g++ if you refuse to invest
in a good commercial offering).
If you really insist on writing a parser use an LALR grammar and my C++
grammar, which is the only yaccable implementation
(http://www.parashift.com/c++-faq/yaccable-grammar.html). Read chapter 4
of my thesis
http://www.computing.surrey.ac.uk/research/dsrg/fog/FogThesis.pdf
Regards
Ed Willink
On 02/05/2014 19:39, Reza Sheykhi wrote:
> Hi,
>
> I want to get a SystemC program as an input and generate its equal
> Promela code as an output. SystemC is a library in C++ and Promela is
> a formal language. To do so, I could find several options: Xtext,
> Antlr, and LLVM. I am not sure which option is the best and
> easier/faster to get this project done.
> If I use Xtext, I need to write everything from scratch, which needs a
> lot of efforts. also using LLVM as a parser is very complicated since
> LLVM is a complex parser.
> Would you please help me to find the right way to do this. If I want
> to use Xtext, do I need to use the whole C++ grammar?
>
> Thanks,
> Reza
>
>
>
|
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.03550 seconds