S
SVTONY
Guest
Peut-on me dire si il est possible de faire LEC (vérification formelle) entre RTL et la netlist synthsized, où la netlist est généré par Altera Stratix Synplify deviec? J'ai essayé de trouver la bibliothèque appropriée à la charge afin de faire la comparaison. Cependant, je n'arrive toujours pas à trouver ce qui manque. Merci!