Как мога да проверя RTL срещу FPGA netlist с Confirmal LEC?

[billylee]

Здравейте на всички. аз имам някакъв проблем да се сравни RTL срещу netlist Xilinx. когато аз конвертирате netlist има някои неочаквани промяна на името на netlist. Всеки, който има опит в тази работа? BR. billylee

 

[RBB]

Случвало ли ви се е да погледна в името функционалността картиране на Conformal?