Luciano Lavagno, Ellen Sentovich
1999 Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99  
We propose a new specification environment for system-level design called ECL. It combines the Esterel and C languages to provide a more versatile means for specifying heterogeneous designs. It can be viewed as the addition to C of explicit constructs from Esterel for waiting, concurrency and pre-emption, and thus makes these operations easier to specify and more apparent. An ECL specification is compiled into a reactive part (an extended finite state machine representing most of the ECL
more » ... ), and a pure data looping part, thus nicely supporting a mix of control and data. The reactive part can be robustly estimated and synthesized to hardware or software, while the data looping part is implemented in software as specified. The key contribution of this paper, however, is the idea of adding truly synchronous reactivity to an existing, widely used language. Related Work A number of recent works have attempted to leverage the broad knowledge of C in the embedded system design arena, and its apparent suitability to implement complex embedded software. They all started from the observation that C in itself does not _ ___________________________
doi:10.1145/309847.309989 dblp:conf/dac/LavagnoS99 fatcat:zgcvim3yibcfbkpbhbcuypyzny