SVTONY
Member level 1
Can any one tell me whether it's possible to do LEC (formal verification)
between RTL and the synthsized netlist, where the netlist is generated
by Synplify for Altera Stratix deviec?
I tried to find the appropriate library to load in order to do the comparison.
However I still can't find what's missing.
Thanks!
between RTL and the synthsized netlist, where the netlist is generated
by Synplify for Altera Stratix deviec?
I tried to find the appropriate library to load in order to do the comparison.
However I still can't find what's missing.
Thanks!