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.
MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Anne-Charlotte Lantz

Anne-Charlotte
Lantz

+46(0)734-171099 ac@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)