How can i verify RTL vs FPGA netlist with Confirmal LEC?

Status
Not open for further replies.

billylee

Junior Member level 1
Joined
Sep 10, 2009
Messages
16
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Location
Korea
Activity points
1,390
hello everyone.
i have some problem to compare RTL vs xilinx netlist.
when i convert to netlist, there is some unexpected changing name on netlist.

anyone have an experience in this job?

BR. billylee
 

Have you looked into the name mapping functionality of Conformal?
 

Status
Not open for further replies.
Cookies are required to use this site. You must accept them to continue using the site. Learn more…