JavaScript is currently disabled.Please enable it for a better experience of Jumi. Synopsys köper verifiering

EDA-företaget Synopsys köper konkurrenten Atrenta och stärker därmed sitt kunnande inom statisk och formell verifiering. Ingen köpeskilling uppges.
Statisk kodanalys letar fel i programkoden utan att exekvera den. Tekniken har använts sedan 70-talet och i takt med att programmen blivit komplexare har området blivit allt hetare för säkerhetskritiska tillämpningar som bilar, flygplan, rymdraketer, kraftverk och medicintekniska apparater. Synopsys köpte i februari 2014 universitetsavknoppningarna Coverity för 375 miljoner dollar och nu stärker man portföljen ytterligare genom köpet av Atrenta.

Atrentas produkter SpyGlass, GenSys och BugScope för statisk och formell analys kompletterar de egna verktygen Verification Continuum och Galaxy skriver företaget i ett pressmeddelande.

Ingen köpeskilling avslöjas men bland de de fyra huvudägarna återfinns svenska Investor.

Prenumerera på Elektroniktidningens nyhetsbrev eller på vårt magasin.


MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Vakant

Sälj och marknads­föring +46(0)734-171099 ads@etn.se
Per Henricsson
Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

 
Jan Tångring
Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)