Esterel a été développer par Esterel technologie EDA qui a fait faillite en 2009. Le produit a été transféré à une filial de Xillinx qui faisait un produit concurrent.
Texas Instrument a utilisé Esterel pour plusieurs blocks avec un gros succès. C'était quelques jours avant la crise de 2008. Le langage se synthétise très bien. Il y a eu des POC de dsp fait chez TI. Il était très naturelle de faire de mini FSM qui dialoguait, plutôt qu'une grosse FSM. Le dialogue de FSM en vhdl est un enfer. Ainsi, des spécifications sois-disant pour simplifier le code le complexifiait (pas de hit under miss pour un cache)
Il y avait aussi un outil de preuve formel associé. Il était possible d'avoir des tests qui revenait à dire que telle sortie était toujours vrai. Le système trouvait le contre-exemple en quelques secondes.
Lustre a été renommer en SCADE et existe toujours chez Esterel Technologies. SCADE 6 a eu les FSM de Esterel en plus. Il est plus orienté logiciel temps réel dur (code aéronautique, ...). Je ne crois pas qu'il génère du VHDL ou autre. Je crois avoir entendu parler de générateur de code pour des puces "matrice de processeurs".
Esterel Tech a été vendu à Ansys (le gros concurrent de Dassaut System) vers 2015.
[^] # Re: autre insipiration
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Hydromel : mon langage de description de matériel idéal ?. Évalué à 6.
Esterel a été développer par Esterel technologie EDA qui a fait faillite en 2009. Le produit a été transféré à une filial de Xillinx qui faisait un produit concurrent.
Texas Instrument a utilisé Esterel pour plusieurs blocks avec un gros succès. C'était quelques jours avant la crise de 2008. Le langage se synthétise très bien. Il y a eu des POC de dsp fait chez TI. Il était très naturelle de faire de mini FSM qui dialoguait, plutôt qu'une grosse FSM. Le dialogue de FSM en vhdl est un enfer. Ainsi, des spécifications sois-disant pour simplifier le code le complexifiait (pas de hit under miss pour un cache)
Il y avait aussi un outil de preuve formel associé. Il était possible d'avoir des tests qui revenait à dire que telle sortie était toujours vrai. Le système trouvait le contre-exemple en quelques secondes.
Lustre a été renommer en SCADE et existe toujours chez Esterel Technologies. SCADE 6 a eu les FSM de Esterel en plus. Il est plus orienté logiciel temps réel dur (code aéronautique, ...). Je ne crois pas qu'il génère du VHDL ou autre. Je crois avoir entendu parler de générateur de code pour des puces "matrice de processeurs".
Esterel Tech a été vendu à Ansys (le gros concurrent de Dassaut System) vers 2015.
"La première sécurité est la liberté"