• A hardware implementation of pure ESTEREL

    • Fulltext


        Click here to view fulltext PDF

      Permanent link:

    • Keywords


      Pure esterel; synchronous programming language; reactive systems; hardware implementation; mathematical semantics

    • Abstract


      esterel is a synchronous concurrent programming language dedicated to reactive systems (controllers, protocols, man-machine interfaces etc.). esterel has an efficient standard software implementation based on well-defined mathematical semantics. We present a new hardware implementation of the pure synchronization subset of the language. Each program generates a specific circuit that responds to any input in one clock cycle. When the source program satisfies some statically checkable dynamic properties, the circuit is shown to be semantically equivalent to the source program. The hardware translation has been effectively implemented on the programmable active memory perle0 developed by J Vuillemin and his group at Digital Equipment.

    • Author Affiliations


      G Berry1 2

      1. Ecole des Mines, Sophia-Antipolis, Valbonne - 06565, France
      2. Digital Equipment, Paris Research Laboratory, 85, Av. Victor Hugo, 92 Rueil Malmaison, France
    • Dates

  • Sadhana | News

    • Editorial Note on Continuous Article Publication

      Posted on July 25, 2019

      Click here for Editorial Note on CAP Mode

© 2021-2022 Indian Academy of Sciences, Bengaluru.