newcpu
Member level 4
When I run the formailty, there are a lot of latches unmatched in the reference RTL. When I search these latches in the netlist, there are no such latches indeed. Could anyone provide me some methods for debugging this problem?
Best Regards,
newcpu
Best Regards,
newcpu