CAO : Siemens met la main sur les preuves formelles de OneSpin

Le 20/04/2021 à 8:51 par Frédéric Rémond

OneSpin apporte à son compatriote allemand son savoir-faire en vérification formelle, enrichissant sa gamme d’outils CAO Xcelerator de conception de circuits intégrés.

Siemens Digital Industries Software a signé un accord avec le Britannique Azini Capital concernant le rachat du Munichois OneSpin Solutions, un fournisseur de logiciels de vérification formelle assurant l’intégrité et le bon fonctionnement des circuits intégrés. OneSpin dispose notamment de solutions de vérification tournées par les coeurs RISC-V et les FPGA et convenant à des applications comme la 5G, l’automobile, les centres de données, les objets connectés, le militaire ou encore l’aérospatial. Siemens renforce ainsi son savoir-faire en conception de composants, en ajoutant ce savoir-faire à son portefeuille d’outils CAO Xcelerator. Le rachat devrait être effectif au second trimestre 2021.