Difference between Functional and Formal Verification

UVM
1

1)Formal Verification is used to check all possible combinations that an assertion to fail
2)we will not provide any stimulus to formal, based on constraints it will check the assertions
what is the main advantage and which is preferable? At what scenarios will use them?

2

In reply to ashokgupta466:

https://verificationacademy.com/courses/Getting-Started-with-Formal-Based-Technology