La vérification formelle de modules numériques est complète

Le 18/05/2006 à 0:00 par Cédric Lardière

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

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.

Copy link
Powered by Social Snap