Can someone help explain the difference between “assume” and “assert” with examples? Thank you
In reply to jianfeng.he:
For dynamic functional simulation, there is no difference. For static formal verification , see this.
Can someone help explain the difference between “assume” and “assert” with examples? Thank you
In reply to jianfeng.he:
For dynamic functional simulation, there is no difference. For static formal verification , see this.