SCDATA


A datapath generator for Esterel programs



Table of contents


Introduction

Scdata is the Esterel datapath generator. It translates action calls in sc code over boolean variables into standard nets also in sc format.


Description of the scdata tool

Scdata produces one data-path for each program's boolean variable. A data-path is a sequence of boolean operators driven by control nets. It computes the successive values of one boolean variable. Basically, for each boolean variable, each action on this variable in transformed into a piece of circuit having the same effect on the net bearing the variable's value.

Error messages and warnings are written to the standard error stream. Error messages should be self-explanatory. Typical use is:

    scdata game.sc -B game

This command produces a game.data.sc file that contains the expanded sc circuit. This file can then be compiled by the Esterel compiler. For instance:

    esterel game.data.sc

By default, the command

    scdata game.sc

outputs its result in the file scdata.out.


Options

The following options are accepted by scdata:

-version Print the version name on the standard error output stream and terminate ignoring all other arguments.
-info Print various informations about the processor compilation on the standard error output stream and terminate, ignoring all other arguments.
-access Print access rights to the processor on the standard error output stream and terminate, ignoring all other arguments.
-s Silent mode: perform parsing and type-checking but do not generate the sc code.
-B <basename> Output the result in the file <basename>.data.sc. By default, the result is printed in the file scdata.out.
-simul Add extra code so that xes (the Esterel code simulator) can check the values of all boolean variables.


Getting scdata

The tool is available for the following architectures:

The distribution contains the executable scdata and the man page scdata.1. Send bug reports to Alain Girault. Enjoy!


Contributnrs<¯H2:

This work has been partially supported by the Dassault Aviation company and by UC Berkeley.


Related publications


Last modification: October 11, 2000.