För ungefär en miljard kronor köper EDA-jätten Cadence konkurrenten Jasper och stärker därmed kunnandet inom formell verifiering.
Den ökande komplexiteten i verifieringsfasen gör att man måste ha olika tillgång till olika verktyg inklusive formell verifiering. Verifieringen kan stå för så mycket som 70 procent av utvecklingskostnaden för en större asic. Och eftersom Jasper är ledande på det snabbväxande området är företaget ett perfekt komplement till den egna portföljen.
Så motiverar Cadence affären som går loss på cirka 170 miljoner dollar i kontanter. I praktiken är köpeskillingen något mindre eftersom Jasper har cirka 24 miljoner dollar i kassan.
Jasper har en svag Sverigeanknytning via Safelogic. Specialisterna på formell verifiering i Göteborg köptes av Jasper för snart tio år sedan (länk).