Browse > Article

New Schizophrenia Patterns on Esterel caused by Control/Data Signals  

Yun, Jeong-Han (KAIST 전산학과)
Kim, Chul-Joo (KAIST 전산학과)
Kim, Seong-Gun (KAIST 전산학과)
Choe, Kwang-Moo (KAIST 전산학과)
Han, Tai-Sook (KAIST 전산학과)
Publication Information
Journal of KIISE:Software and Applications / v.37, no.4, 2010 , pp. 311-316 More about this Journal
Abstract
Esterel is an imperative synchronous language that is used to develop memories, cache controllers, bus interfaces, and so on. An Esterel statement is called schizophrenic if it is executed more than once in an instant. A schizophrenic statement may cause problems when it is translated to hardware circuits; a circuit performs more than one reaction in a clock. Previous works claim that only local signal declarations and parallel statements may cause schizophrenic problems. However, control signals produced by a trap statement or data signals used by emit statements can cause schizophrenia. They are new schizophrenic patterns. Especially, schizophrenic problems caused by emit statements cannot be solved by a loop unrolling technique that is the key idea of previous curing techniques for schizophrenic problems. In this paper, we introduce and define the two schizophrenic problems.
Keywords
Esterel; synchronous language; schizophrenia; circuit;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 J. Yun, C. Kim, S. Seo, T. Han, and K. Choe, "Refining schizophrenia via graph reachability in Esterel," 7th ACM-IEEE International Conference on Formal Methods and Models for Codesign, 2009.
2 C. Kim, J. Yun, S. Seo, K. Choe, and T. Han, "Efficient construction of over-approximated CFG on Esterel," Journal of KIISE: Computing Practices and Letters, vol.15(11), pp.876-880, 2009. (in Korean)   과학기술학회마을
3 O. Tardieu and R. de Simone, "Loops in Esterel," Transactions on Embedded Computing Systems, vol.4, no.4, pp.708-750, 2005.   DOI
4 K. Schneider, J. Brandt, and T. Schuele, "A verified compiler for synchronous programs with local declarations," Electronic Notes in Theoretical Computer Science, vol.153, no.4, pp.71-97, 2006.   DOI   ScienceOn
5 N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, 1993.
6 G. Berry, "Circuit design and verification with Esterel v7 and Esterel Studio," IEEE International High-Level Design, Validation, and Test Workshop, pp.133-136, 2007.
7 G. Berry, The Constructive Semantics of Pure Esterel. Draft book available at http://www.inria.fr/meije/esterel/esterel-eng.html, 1999.
8 D. Potop-Butucaru, S. A. Edwards, and G. Berry. Compiling Esterel, Springer, 2007.
9 Esterel Technologies, The Esterel v7 Reference Manual Version v7.30. initial IEEE standardization proposal, Esterel Technologies, 679 av. Dr. J. Lefebvre 06270 VilleneuveLoubet, France, November 2005.
10 O. Tardieu, "A deterministic logical semantics for pure Esterel," ACM Transactions on Programming Languages and Systems, vol.29(2), pp.1-24, 2007.   DOI
11 A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone, "The synchronous languages 12 years later," Proceedings of the IEEE Embedded Systems, vol.91(1), pp.64-83, 2003.