lemon_duck
Newbie level 3
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?