Behavioral specification of a circuit using SyncCharts: A case study

Conference Proceedings of the EUROMICRO

Volumn 1, Issue , 2000, Pages 91-98

  André, Charles ^a   Peraldi Frati, Marie Agnès ^a  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL SPECIFICATION; FULLY COMPATIBLE; HIERARCHICAL DESCRIPTION; HIGH LEVEL DESCRIPTION; MATHEMATICAL SEMANTICS; PROGRAMMING ENVIRONMENT; SYNCHRONOUS LANGUAGES; SYNCHRONOUS MODELS;

MICROWAVE CIRCUITS;

SEMANTICS;

EID: 84889237289     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.2000.874620     Document Type: Conference Paper

References (9)

1. D. Harel. "Statecharts: a Visual Formalism for Complex Systems", Science of Computer programming, 1987, vol 8, pp 23 1-274.
2. C. Andrt. "Representation and Analysis of Reactive Behaviors: A Synchronous Approach" IEEE-SMC Computational Engineering in Systems Applications (CESA), Lille (F), July 1996, pp 19-29.
3. G. Berry, G. Gonthier. "The Esterel Synchronous Programming Language: Design, Semantics, Implementation" Science of Computer Programming, 1992, vol. 19, n"2, pp 87-152. (current version of Esterel v5-2 1 : http://www. inria. fr/meije/verification/ester)e l
4. I-Logix, "Statemate MAGNUM", http://www. ilogix. com
5. Simulog. "Esterel Studio", http://www. simulog. fr
6. A. Bouali. "Xeve: an Esterel Verification Environement", Int? Conference on Computer-Aided Verification (CA V'98). june/july 1998, Vancouver, BC Canada. Also available as a technical report INRIA RT-214, 1997.
7. E. M Sentovitch, K. J Singh, et al. "SIS: a System for sequential circuit synthesis". Technical report, UCB/ERL M92/41. U. C. Berkeley, May 1992.
8. O. Coudert, J. C Madre, H. Touati. "TiGeR version 1. 0, User Guide", Digital Paris Research Lab. Dec 93, commercialized by xorix.
9. J. Zahnd. "Machines stquentielles". Presses Polytechniques Romandes. 1987.