eTeak is a high-level synthesis EDA, that aims to generate Globally Asynchronous Locally Synchronous (GALS) SoCs from a timing-free description. eTeak is a synchronous extension to the Teak Synthesis system which is a dataflow backend for the Balsa language. eTeak adopts Synchronous Elastic Protocol to provide a common timing behaviour in the computation and communication domains. This work is a part of The GAELS project supported by EPSRC under research grant EP/I038306/1.
GAUT is an open source High-Level Synthesis tool. From a bit-accurate C/C++ specification it automatically generates a pipelined RTL architecture described in VHDL and SystemC simulation models (TLM and CABA).