La jeune pousse allemande Onespin Solutions, fournisseur de l’outil 360 Module Verifier (MV) pour la vérification formelle des circuits inté…
La jeune pousse allemande Onespin Solutions, fournisseur de l’outil 360 Module Verifier (MV) pour la vérification formelle des circuits intégrés, vient d’étendre son catalogue avec le logiciel de vérification d’équivalence 360 EC-FPGA pour les FPGA.
…