BASICOPT is a tool for optimization of controllers synthesized from the synchronous reactive language ESTEREL. BASICOPT can optimize either the critical-path of the hardware circuit or the size of the C code generated from the ESTEREL description. BASICOPT integrates combinational optimization algorithms from the SIS tool of UC Berkeley and state encoding optimization algorithms implemented in the REMLATCH processor developed at CMA/Ecole des Mines de Paris and INRIA.


The distribution contains:

BASICOPT is available for the following architectures:

Monica Robert, Horia Toma
Mon May 7 15:52:58 MET DST 1997