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.