Improving controller synthesis from Esterel
Cristian SOVIANI
Columbia University
1214 Amsterdam Ave MC 0401, 10027 New York, NY, U.S.A.

We present a new procedure for automatically synthesizing controllers from high-level Esterel specifications.

Experimental results suggest that even with a fairly primitive state assignment heuristic, our compiler consistently produces smaller, slightly faster circuits that the existing Esterel compiler. We mainly attribute this to a different style of distributing state bits throughout the circuit.

Initial results are encouraging, but some hand-optimized encodings suggest room for a better state assignment algorithm. We are confident that such improvements will make our technique even more practical.

Slides (.pdf)