L’américain Synopsys, numéro un mondial du domaine de la CAO, se renforce dans le domaine de la vérification des circuits conçus pour les applications automobiles avec le rachat de son compatriote WinterLogic,  fondé en 2005, ...pour un montant non divulgué. WinterLogic est un spécialiste des outils d’injection et de simulation de fautes dans les conceptions de circuits de type SoC, une technologie clé pour répondre aux contraintes des normes de sûreté de fonctionnement et de sécurité ISO 26262 de plus en plus utilisées dans les développements pour l’automobile pour atteindre des niveaux de confiance élevés dans la classification Asil (Automotive Safety Integrity Level).

L’ajout des technologies de WinterLogic dans son portefeuille étend les compétences de Synopsys dans le domaine de la vérification fonctionnelle, de l’analyse de la qualité des logiciels embarqués et des IP de vérification pour l’automobile.