zhangpengyu
Full Member level 3
Hi
guys!
What is formal verification? What does it use to do?Generally,what tools can use? Is it necessary to write testbenches in formal verification?Is formal verification don't want to simulation?
Thanks!
zhpy
guys!
What is formal verification? What does it use to do?Generally,what tools can use? Is it necessary to write testbenches in formal verification?Is formal verification don't want to simulation?
Thanks!
zhpy