Verktygsleverantören Avant knyter till sig verktyg för formell verifiering.
Avant köper Chrysalis, ett företag som erbjuder verktyg för formell verifiering. Avant tänker nu integrera Chrysalis produkter med sin verktygssvit för logisk och fysisk konstruktion.
Formella verifieringsverktyg verifierar en konstruktionsbeskrivnings funktion med hjälp av matematiska metoder. Enligt Dataquests senaste mätning så dominerar Chrysalis denna nischmarknad, med en marknadsandel på 64 procent. Sedan denna mätning har företaget dock fått ökad konkurrens från exempelvis Synopsys. Chrysalis viktigaste produkt är ekvivalenstestaren Design Verifier, på senare tid har företaget även erbjudit modelltestaren Design Insight.
I Sverige representeras Chrysalis av ISS - Integrated System Scandinavia. Avant har dock ingen svensk representant.
- Vi har varit i kontakt med Avant, men det är ännu inte klart hur vi kommer att påverkas av köpet, säger Ronny Strömberg på ISS.
Han kan dock tänka sig att förutom Chrysalis produkter även ha delar ur Avantsortimentet på repertoaren.
Chrysalisköpet kommer bara några veckor efter Avants köp av Xynetix, ett företag som erbjuder verktyg för konstruktion av avancerade kapslar.