newcpu
Member level 4
![Member level 4](/styles/images/ranks/dlevel4.gif)
Hi all,
When I run formality between RTL and netlist after synthesis, there are some registers unmatched. Could anyone tell me some possible reasons?
Best Regards,
newcpu
When I run formality between RTL and netlist after synthesis, there are some registers unmatched. Could anyone tell me some possible reasons?
Best Regards,
newcpu