S
SVTONY
Guest
Maaaring isa ang anumang sabihin sa akin kung ito ay posible na gawin LEC (pormal na verification) sa pagitan ng RTL at ang synthsized netlist, kung saan ang netlist ay binuo sa pamamagitan ng Synplify para Altera Stratix deviec? Ako tried sa hanapin ang mga nararapat na library sa load upang gawin ang mga paghahambing. Subalit hindi ko pa rin mahanap kung ano ang nawawala. Salamat!