Table of Contents
lcsc - Esterel boolean circuit generator - Version v5_92
lcsc
[options] file ...
lcsc is the Esterel boolean equation generator.
It translates statements in lc code into boolean equations in sc format.
It is normally called via the esterel command. It can also be called directly
by the user if necessary.
Error messages and warnings are written to the
standard error stream. Typical use is:
- lcsc < game1.lc > game.sc
or
- lcsc game1.lc
game2.lc -B game
The following options are interpreted by lcsc:
- -s
- Silent
mode: perform parsing and type-checking but do not generate the sc code.
- -stat
- Print statistics on the standard error stream: parsing, type-checking
and coding times as well as process size.
- -version
- Print the version name
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.
- -info
- Print various informations
about the processor compilation on the standard error output stream and
terminate, ignoring all other arguments.
Error messages should
be self-explanatory.
Esterel documentations.
esterel(1)
, iclc(1)
,
scssc(1)
Ecole des Mines de Paris (CMA) and INRIA Sophia-Antipolis.
Written by Gerard Berry.
Table of Contents
Back To Main Manual Page