Synfora siktar nu på att kunna generera kod för en komplett systemkrets, SoC. Inom nio månader ska Synforas och Esterels verktyg ha integrerats till samma verktyg. Och om inom två år ska ett komplett SoC-generator finnas på plats, efter att man dessutom integrerat verktyg för att konstruera systemretsens CPU.
Esterels verktyg har bland annat används för att konstruera säkra komponenter i svenska krigsplanet Jas och franska passagerarplanet Airbus. Men verktygen har också använts för att konstruera robusta implementationer av bland annat kretsbussar och styrlogik i integrerade kretsar från ST Microslectronics, Intel, TI och NSP.
Esterels verktyg har delvis svensk koppling, till Telelogic och Prover, genom köp och samarbeten.
Sök (länk) på Esterel i vårt arkiv.