Après 360 Module Verifier pour les circuits intégrés (voir EI n° 627), l’Allemand Onespin Solutions a lancé le premier logiciel de vérification d’équivalence supportant toutes les optimisations séquentielles réalisées par les outils de synthèse de FPGA. 360 EC-FPGA permet de vérifier l’équivalence entre le code RTL et la liste d’interconnexions après synthèse, à plat et

…