OneSpin Solutions, émanation d’Infineon Technologies, assure que ses outils sont capables de détecter toutes les erreurs fonctionnelles d’un module ou d’un bloc d’IP.
Créée en mai 2005, mais lancée officiellement il y a une dizaine de jours, la société allemande OneSpin Solutions vient se positionner sur le marché de la vérification formelle des circuits intégrés
…