Doing LEC pentru Altera dispozitiv STRATIX

[SVTONY]

Pot orice unul spune-mi, indiferent dacă e posibil să se facă LEC (verificarea formală)
între RTL şi netlist synthsized, în cazul în care netlist este generat
de Synplify pentru Altera STRATIX deviec?

Am încercat să găsească biblioteca adecvate pentru a încărca în scopul de a face comparaţie.
Cu toate acestea eu încă nu pot găsi ceea ce lipseste.

Mulţumesc!