|
|
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.
|