Le spécialiste américain de la CAO électronique Cadence Design Systems annonce la signature d’un accord définitif pour le rachat de son compatriote Jasper Design Automation, un spécialiste des outils d’analyse formelle. Le montant de l’acquisition atteint 170 millions de dollars en numéraire …

publicité

Jasper est spécialisé sur le secteur de l’analyse formelle, fournissant de multiples solutions de vérification basées sur la plateforme JasperGold. L’entreprise compte parmi ses clients la plupart des grands fabricants de systèmes, de semiconducteurs et de développeurs de blocs d’IP.

Ces entreprises, qui sont aussi des clients de Cadence, adoptent de plus en plus des outils d’analyse formelle en complément des méthodes traditionnelles de vérification, afin de mieux prendre en charge les défis liés à l’accroissement de la complexité de vérification des systèmes sur une puce (SoCs) et des blocs d’IP, souligne Cadence, qui met en avant le fait que la vérification représente plus de 70% du coût de développement des systèmes sur une puce. La technologie de Jasper est complémentaire de la suite de développement système de Cadence, assure l’Américain.

Parallèlement, Cadence publie un chiffre d’affaires de 379 M$ au premier trimestre, contre 354 M$ un an plus tôt. Son bénéfice net atteint 33 M$, contre 79 M$ au premier trimestre 2013. Pour le deuxième trimestre, Cadence anticipe un CA compris entre 370 M$ et 380 M$. Sans prendre en compte l’acquisition en cours de Jasper, son chiffre d’affaires annuel devrait être compris entre 1550 M$ et 1590 M$.