La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Onespin Solutions sort la version autonome de son vérificateur d’équivalence pour FPGA
Quelques mois seulement après avoir lancé l’extension pour les FPGA à l’outil de vérification d’équivalence des circuits spécifiques 360 EC-ASIC, … Quelques mois seulement après avoir lancé l’extension pour les FPGA à l’outil de vérification d’équivalence des circuits spécifiques 360 EC-ASIC, l’allemand Onespin Solutions introduit la version autonome, également baptisée 360 EC-FPGA. Rappelons que ce…
