Behavioral specification of a circuit using SyncCharts: a case study

Author

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

Author_Institution

CNRS, Nice Univ., France

Volume

1

fYear

2000

fDate

2000

Firstpage

91

Abstract

The authors 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

binary codes; circuit analysis computing; formal specification; high level synthesis; Esterel synchronous language; SyncCharts; behavioral circuit specification; case study; concurrency; design correctness; digital system behaviors; graphical synchronous model; hierarchical descriptions; high-level description; mathematical semantics; non-trivial binary encoder/decoder; output formats; preemption; programming environment; synthesis tools; Books; Computer aided software engineering; Concurrent computing; Digital circuits; Digital systems; Formal verification; Laboratories; Mathematical model; Programming environments; Synchronous generators;

fLanguage

English

Publisher

ieee

Conference_Titel

Euromicro Conference, 2000. Proceedings of the 26th

Conference_Location

Maastricht

ISSN

1089-6503

Print_ISBN

0-7695-0780-8

Type

conf

DOI

10.1109/EURMIC.2000.874620

Filename

874620