|Re: SystemC to Promela transformer [message #1328528 is a reply to message #1328303]
||Fri, 02 May 2014 18:52
| Ed Willink
Registered: July 2009
Do not write a new C++ parser; it will take a very very long time to get
You certainly need necessarily all of the C++ grammar and a good C++
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
On 02/05/2014 19:39, Reza Sheykhi wrote:
> 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?
Powered by FUDForum
. Page generated in 0.02120 seconds