Welcome to the SCC home page !


About

SCC is the SyncCharts Compiler 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-6 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

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

Blif output with other frontend, backend option:

C output with dft. frontend, backend option:
Available backends and code generator:

Devel

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

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/