License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.04491.6
URN: urn:nbn:de:0030-drops-1597
Go to the corresponding Portal

Li, Xin ; von Hanxleden, Reinhard

The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor

04491.LiXin.Paper.159.pdf (1 MB)


The synchronous language Esterel is an established language for
developing reactive systems. It gives an abstract, well-defined
and executable description of the application, and can be
synthesized into hardware and software. Typically, an Esterel
program is first translated into other, lower-level languages
(such as VHDL or C), and then compiled further. However, there is
also the alternative of executing Esterel-like instructions
directly. For example, in the REFLIX and RePIC projects, Roop et
al.\ have augmented traditional processors with custom hardware to
execute Esterel instructions. This patch strategy is a convenient
approach, but has some shortages.

We present the Kiel Esterel Processor (KEP), a semi-custom, configurable reactive processor for the direct execution of Esterel programs. It consists of a reactive core and scalable peripheral elements. KEP supports standard Esterel statements directly, except (so far) for the concurrency operator. Valued signals and counter functions in Esterel statements are supported by KEP. Due to its control path and its cooperation with elements, KEP obeys exact Esterel (preemption and priority) rules, including for example abort/weak abort (nests).

BibTeX - Entry

  author =	{Li, Xin and von Hanxleden, Reinhard},
  title =	{{The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-1597},
  doi =		{10.4230/DagSemProc.04491.6},
  annote =	{Keywords: Esterel , synchronous languages , reactive programming , ASIPs}

Keywords: Esterel , synchronous languages , reactive programming , ASIPs
Collection: 04491 - Synchronous Programming - SYNCHRON'04
Issue Date: 2005
Date of publication: 30.06.2005

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI