Doing LEC for Altera Stratix device

Status
Not open for further replies.

SVTONY

Member level 1
Joined
Apr 10, 2002
Messages
36
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,286
Activity points
186
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!
 

Status
Not open for further replies.

Similar threads

Cookies are required to use this site. You must accept them to continue using the site. Learn more…