Location of Repository

04491 – The Kiel Esterel Processor The Kiel Esterel Processor – A Semi-Custom, Configurable Reactive Processor — Dagstuhl Seminar —

By Xin Li and Reinhard Von Hanxleden

Abstract

Abstract. The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and ex-ecutable description of the application, and can be synthesized into hard-ware 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 hard-ware 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, config-urable reactive processor for the direct execution of Esterel programs. It consists of a reactive core and scalable peripheral elements. KEP sup-ports standard Esterel statements directly, except (so far) for the con-currency operator. Valued signals and counter functions in Esterel state-ments 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)

Topics: synchronous languages, reactive programming, ASIPs
Year: 2015
OAI identifier: oai:CiteSeerX.psu:10.1.1.669.2393
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://rtsys.informatik.uni-ki... (external link)
  • http://rtsys.informatik.uni-ki... (external link)
  • http://citeseerx.ist.psu.edu/v... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.