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

Rainer Raitasuo

Rainer
Raitasuo

+46(0)734-171099 rainer@etn.se
(sälj och marknads­föring)
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)