SCC

About

SCC is the SyncCharts Compilers Collection, which currently contains frontends for XML output of the SyncCharts editor made by Charles ANDRE and backends for BLIF and C.
This is the first Esterel independant SyncCharts Compiler.

Copyright

2004-8 Julien BOUCARON, Daniel GAFFE, I3S Laboratory.

This software is experimental and provided as is without warranty.
This software is free for non commercial, educational and research purpose.

News

05 07 2006: Added esterel, esterelv7, verilog.
04 07 2005: Binaries for WIN32 (mingw) using unstable branch of XERCES, this the same compiler than 04 11 2004 Release.
23 04 2005: Added fltk frontend see download section.
fltk_scc screenshot
Work in progress version for : lustre (cosmetic bug: identifier size problem), gezel (need more testing, interesting see link above), esterel (really primary need rework), vhdl (unworkable), verilog (unworkable).
Binaries for linux-powerpc, cygwin.

04 11 2004: Full Simple Reincarnation algorithm
Binaries for linux-powerpc, linux-i386, cygwin.

28 09 2004: Bug fix for C code generator in DEA BackEnd
Binaries for linux-powerpc, linux-i386, cygwin.

25 09 2004: First Public Release
Binaries for linux-powerpc, linux-i386, cygwin.

Download

This software is experimental and provided as is without warranty.
This software is free for non commercial, educational and research purpose.

04 11 2004:
linux-powerpc, dynamic linked with .so
linux-i386, dynamic linked with .so
cygwin, dynamic linked – need xercesc-lib package
win32, statically linked

Installation

  • Unpack the archive
  • On cygwin check that you have installed xercesc-lib
  • On linux : export LD_LIBRARY_PATH=/path/to/scc…/lib
  • export PATH=/path/to/scc…/bin
  • Invoke scc and read the help

Use

By defaut the scc compiler will need a .xml to parse.
We assume that the default frontend is xmlv2 –> relative to default xml output of the editor,
the default backend is blif without bdd_inlining,
the default fileouput is scc.out

  • Just type: << scc myFile.xml >> and see after <<scc.out>>

Blif output with other frontend, backend option:

  • Example: << scc myFile.xml –output=out.blif –frontend=xmlv3 –backend-opt=bdd_inlining >>

C output with dft. frontend, backend option:

  • Example: << scc myFile.xml –output=out.c –backend-opt=c >>

Available backends and code generator:

  • xmlv2: output to xmlv2 dialect.
  • xmlv3: output to xmlv3 dialect.
  • dot: output to dot (graphviz).
  • dea: main code generator for BLIF and C.

Devel

The next release will have LUSTRE,ESTEREL,VHDL output for the DEA BackEnd.
Will be add sooner or later:

  • an esterel backend to generate from the xml output the esterel code generator made by Charles ANDRE.
  • a backend for the simulator with algorithms made by Charles ANDRE.

Contact

Julien BOUCARON <julien.boucaron@inria.fr>
Daniel GAFFE <gaffe@i3s.unice.fr>

Links

The Official SyncCharts Home Page with the Editor http://www.i3s.unice.fr/sports/SyncCharts/
Daniel’s SynChronous Grafcet Tools http://www.i3s.unice.fr/~gaffe/outils.html

Lustre Academic Homepage http://www-verimag.imag.fr/SYNCHRONE/index.php?page=lang-design
Esterel Academic Homepage http://www-sop.inria.fr/meije/esterel/esterel-eng.html
Signal Academic Homepage http://www.irisa.fr/espresso/Polychrony/
Esterel, Lustre Commercial Homepage http://www.esterel-technologies.com
Gezel Homepage http://www.ee.ucla.edu/~schaum/gezel/