S
SVTONY
Guest
Kan nogen fortælle mig, om det er muligt at gøre LEC (formel kontrol) mellem RTL og synthsized netlist, hvor netlist er genereret af Synplify for Altera Stratix deviec? Jeg forsøgte at finde den rette biblioteket til last, for at gøre sammenligningen. Men jeg kan stadig ikke finde, hvad der mangler. Tak!