Optimized Controller Synthesis Using

  • G Erard Berry
  • Published 1993


The speci cation and implementation of control-intensive systems, such as communication protocols and device controllers, is notoriously di cult due to the complex interaction of concurrently active components. One way to reduce development time, diminish the probability of design errors, and increase technology independence is to use a high-level programming language with nite state semantics. In this paper, we propose to use the Pure Esterel synchronization kernel of the Esterel language [4, 8, 2] that was speci cally designed for modular descriptions of control. We present speci c techniques to optimize the generated circuits. Using a set of benchmarks, we show that we obtain circuits that are smaller and faster than those obtained by available state encoding techniques and that our approach does scale up to controllers having hundreds of states. Esterel uses a powerful set of primitives to express sequencing, parallelism, instantaneous broadcast, exceptions, and watchdogs. Esterel subsumes the model of communicating nite state machines since its primitives are much richer and fully orthogonal, i.e. can be combined in arbitrary ways. Esterel is rigorously de ned by a mathematical semantics that relies on the perfect synchrony hypothesis, which assumes that programs can be implemented to react to their environment fast enough to be considered e ectively instantaneous. This hypothesis allows for a clean separation of functional behavior from timing constraints. When dealing with synchronous hardware, it simply reduces to the usual assumption that combinational logic

3 Figures and Tables

Cite this paper

@inproceedings{Berry1993OptimizedCS, title={Optimized Controller Synthesis Using}, author={G Erard Berry}, year={1993} }