|       |  Esterel Community members are leading software developers, 
        Avionic manufacturers,Chips integrators, Universities, computer science 
        research centers.
 
 Texas instruments, Motorola, Thomson csf, INRIA, Simulog, Cadence, Dassault 
        Aviation, Psa Peugeot Citoën, Berkeley University of California, 
        Synopsys, Intel, Sextant, Université de Caen.
 Some of them 
        are using Esterel solutions for circuits critical integration verification 
        tasks (see also the Syntel Project page), 
        or for embedded command systems, also in human-machine interface development 
        and communication protocols.
           |