Motivation – software synthesis
*Synchronous programming of embedded systems
nEsterel/Lustre/Signal
nInteractive FSM semantics
nCode generation from logic
POLIS
F.Balerin, et al, “Synthesis of software programs
for embedded control applications”, TCAD 1999
ESTEREL
G.Berry, “The foundations of Esterel”, 2000
MVSIS
Y.Jiang, et al, “Logic optimization and code generation
for embedded control applications”, CODES 2000
EFSM’s
C/Assembly
POLIS
VCC
MVSIS 1.1
MV-Optimize
Code Gen
1.Synchronous programming as in the embedded system design industry;
2.Design flow for Esterel;
3.Previous work and what is lacking;
4.MVSIS contribution.

FIX THE REFERENCE FOR BERRY!