zhangpengyu said: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?
zhangpengyu said: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
you can use formality, it is better to do simulation againzhangpengyu said: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
We use cookies and similar technologies for the following purposes:
Do you accept cookies and these technologies?
We use cookies and similar technologies for the following purposes:
Do you accept cookies and these technologies?