Commit 9ed8aeef authored by Matthieu Moy's avatar Matthieu Moy

Update README

parent 183d593c
This is the PinaVM SystemC front-end. The home page can be found at
Welcome to the project PinaVM. PinaVM is a prototype of a
[SystemC](http://systemc.org) front-end based on
[LLVM](http://llvm.org). It is somehow the successor of
[Pinapa](http://greensocs.sourceforge.net/pinapa/), although the
projects do not share any code.
https://forge.imag.fr/plugins/mediawiki/wiki/pinavm/index.php/Main_Page
PinaVM is still a prototype, and doesn't have very good user
documentation as of now. However, interested users can read:
Please, read doc/INSTALL for installation instructions.
- [PinaVM: a SystemC Front-End Based on an Executable Intermediate
Representation](http://www-verimag.imag.fr/details.html?pub_id=pinavm-emsoft),
published at EMSOFT 2010 (see also
\[<http://www-verimag.imag.fr/Technical-Reports,264.html>?&number=TR-2010-8
the associated technical report\])
- [A Theoretical and Experimental Review of SystemC
Front-ends](http://www-verimag.imag.fr/details.html?pub_id=review-sc-fe),
published at FDL 2010 (see also
\[<http://www-verimag.imag.fr/Technical-Reports,264.html>?&number=TR-2010-4
the associated technical report\])
- [Efficient Encoding of SystemC/TLM in
Promela](http://www-verimag.imag.fr/details.html?pub_id=MARQUET:2011:HAL-00557515:1),
published at DATICS-IMECS 2011 (see also
\[<http://www-verimag.imag.fr/Technical-Reports,264.html>?&number=TR-2010-7
Research report about one of the back-ends of PinaVM the associated
technical report\])
PinaVM can be downloaded either via [Git](http://git-scm.org) (see
[instructions](https://forge.imag.fr/scm/?group_id=147), or [browse
online](https://forge.imag.fr/scm/browser.php?group_id=147)) or as a
tarball at
[1](https://forge.imag.fr/plugins/scmgit/cgi-bin/gitweb.cgi?p=pinavm/pinavm.git;a=snapshot;h=refs/heads/master;sf=tgz).
It is primarily developed on Linux, but works on Mac OS X too.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment