Asseration的实际应用场景？

magnum · 发表于 2018-9-5 13:12:54

都是不错的观点

ForrestZhang719 · 发表于 2019-3-3 11:03:45

assertion 的引入主要是能缩短验证仿真时间，提高验证效率。有些时候给DUT施加测试激励后，某些功能总是无法被验证到，如果能用asserttion则可以及时发现，并退出仿真，修改测试激励后，再次仿真。这相对于等到所有仿真结束后通过查看功能覆盖率报告，明显提高效率。

iNostory · 发表于 2020-10-30 22:05:52

assert用于验证，cover用于覆盖率，assume用于形式验证，

[求助] Asseration的实际应用场景？