Charles André, Marie-Agnès Peraldi-Frati
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.
System specification and modeling, Validation, Synchronous programming.
@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}
}