Multiclock Esterel
暂无分享,去创建一个
[1] Luciano Lavagno,et al. Hardware-Software Co-Design of Embedded Systems , 1997 .
[2] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.
[3] Randy H. Katz,et al. Contemporary Logic Design , 2004 .
[4] Luciano Lavagno,et al. Hardware-software co-design of embedded systems: the POLIS approach , 1997 .
[5] Gérard Berry. Constructive Semantics of Esterel: From Theory to Practice (Abstract) , 1996, AMAST.
[6] Paul Caspi,et al. About the Design of Distributed Control Systems: The Quasi-Synchronous Approach , 2001, SAFECOMP.
[7] Gérard Berry,et al. Esterel on hardware , 1992, Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences.
[8] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[9] Gérard Berry,et al. Preemption in Concurrent Systems , 1993, FSTTCS.
[10] Thierry Gautier,et al. Programming real-time applications with SIGNAL , 1991, Proc. IEEE.
[11] Robert K. Brayton,et al. Sequential circuit design using synthesis and optimization , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.