CEC Logo CEC:
The Columbia Esterel Compiler
 Overview
  The Columbia Esterel Compiler is an open-source compiler designed for research in both hardware and software generation from the Esterel synchronous language.
  It currently supports a subset of so-called Esterel V5, and can generate a C program or a Verilog or BLIF circuit description from an Esterel program.
  It is implemented in C++ using the ANTLR parser generator (version 2.7.2) and the expat XML parsing library (version 1.95). It makes heavy use of modern C++ features such as namespaces, templates, and the standard library. Building it requires gcc 3 or above. As of the 0.3 release, ANTLR is not necessary to compile the system from source.
  Its design is modular. Each pass is a standalone executable invoked by the cec script. The passes communicate through XML files generated from internal data structures by the IR package.
 Mailing list
  The cec-users mailing list
 Downloads
  A Github repository that might be more up-to-date
  Download cec-0.4.tar.gz: compressed source, documentation, and test cases
  Download cec-0.4-1.i386.rpm: RPM for Fedora Core 4 and later
  Download cec-0.4-1.ppc.rpm: RPM for Fedora Core 4 and later
  Download cec-0.3-1.src.rpm: source RPM
  Download cec-0.3.tar.gz: compressed source, documentation, and test cases
  Download cec-0.3-1.i386.rpm: RPM for Red Hat Linux
  Download cec-0.3-1.src.rpm: source RPM for Red Hat Linux
  Download cec-0.2.tar.gz: compressed source, documentation, and test cases
  Download cec-0.2-1.i386.rpm: RPM for Red Hat Linux
  Download cec-0.2-1.src.rpm: source RPM for Red Hat Linux
  Download cec-0.1.tar.gz: a very, very old release
 Documentation
  PDF File (for Acrobat) manpage for cec, the user-level command
  PDF File (for Acrobat) IR: the XML-based file storage format
  PDF File (for Acrobat) AST: the intermediate representation
  PDF File (for Acrobat) EsterelPrinter: Esterel prettyprinter
  PDF File (for Acrobat) ExpandModules: the run statement expander
  PDF File (for Acrobat) Dismantle: the AST dismantler
  PDF File (for Acrobat) ASTGRC: the GRC format synthesizer
  PDF File (for Acrobat) GRCOpt: the GRC format optimizer
  PDF File (for Acrobat) GRCPrinter: GRC-to-dot printing for debugging
  PDF File (for Acrobat) GRCsim: GRC simulator for debugging
  PDF File (for Acrobat) BLIF: circuit netlist format utilities
  PDF File (for Acrobat) GRCC2: the C generator
  PDF File (for Acrobat) CPrinter: C generation helper routines
  PDF File (for Acrobat) EsterelGrammar: The grammar for the language
  The Esterel Grammar in HTML
 Authors
  Stephen A. Edwards
  Cristian Soviani
  Jia Zeng

Copyright © 2006 Stephen A. Edwards Updated Wed Jul 6 09:17:08 EDT 2016 All Rights reserved