Behavioral Specification of a Circuit using SyncCharts: A Case Study

Author

Charles André, Marie-Agnès Peraldi-Frati

Abstract

In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supports hierarchical descriptions, concurrency and preemption. It is fully compatible with the programming environment of the Esterel synchronous language and can generate output formats understandable by synthesis tools. Thanks to the mathematical semantics of the model, the correctness of the design can be formally established. Taking the example of a non-trivial binary encoder/decoder, we show how our approach makes the design easier, without loss of rigour or efficiency.

Keywords

System specification and modeling, Validation, Synchronous programming.

Reference

@INPROCEEDINGS{sp:ieee00,
AUTHOR = "C. Andr\'e and M-A Peraldi-Frati",
TITLE = "{B}ehavioral {S}pecification of a {C}ircuit {U}sing {S}yncCharts: a {C}ase {S}tudy",
sorte= "colin" ,
YEAR = {2000},
PAGES = {91--98},
BOOKTITLE = {Euromicro 2000, Digital System Design},
PUBLISHER= {IEEE},
ADDRESS = {Maastricht (NL)},
MONTH = {September}
}


Paper

pdf, 68KB

Slides

pdf, 254KB