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.
bindirectory containing the
basicoptPerl script and the
libdirectory containing the
sisscripts for combinational optimization;
examplesdirectory containing some examples for testing;
docdirectory which contains a PostScript file of the manual;
mandirectory containing a manual page.