S
SVTONY
Guest
Může mi někdo říct, zda je to možné udělat LEK (formální verifikace) mezi RTL a synthsized netlist, kde je netlist generovány firem Synplify pro Altera deviec Stratix? Snažil jsem se najít odpovídající knihovnu nahrát, aby to srovnání. Nicméně jsem stále nemůžete najít to, co chybí. Díky!