weakness of formal verification

[lemon_duck]

Recently, I heard a lot benefit of formal verification from Japser salesman, but I'm wondering what the formal verification can't do, and in future, does formal verification has possibility to replace function verification?

 

[ljxpjpjljx]

the formal verification tool can't do complex a algorithm design and if you don't set the constrain properly , the formal verification result won't be good!

 

[aaronhe]

fm verification is just one node of total verification. Function verification, fm_verificaion, physical verification and back_annoted verification.

In my opinion, fm verification is used to be sure the consistent of your RTL code and synthesised netlist

 

[ljxpjpjljx]

hi , aaronhe , your opinion about the formal tool is the function formal tool which will be used for RTL vs Netlist!
the formal verification is another tool!