BASICOPT

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.

• Presentation
• Installation

Distribution

• a Makefile and a README file;
• the bin directory containing the basicopt Perl script and the remlatch binary file;
• the lib directory containing the sis scripts for combinational optimization;
• the examples directory containing some examples for testing;
• the doc directory which contains a PostScript file of the manual;
• the man directory containing a manual page.

• Sun4 OS4
• Sun4 Solaris
• DecAlpha OSF1
• PC Linux