...期、顺序相关的一系列操作的 时序和功能是否有 不符合规范的地方，为此研究出基于断言的验证方法(Assertion-based Verification)来推动验 证技术发展。
基于40个网页-相关网页
...的出现，例如约束随机数据生成法（Constrained-random Data Generation）、以断言为基础的验证（Assertion-based Verification）、覆盖率驱动的验证（Coverage-driven Verification）、功能覆盖率（Function Coverage)，衡量功能验证工作效率的方式已经大大不...
基于12个网页-相关网页
Complete Assertion Based Verification 全面的基于断言的验证
There is also some new techniques and its application in thisdissertation, for example, assertion based verification.
论文中还介绍了一些新的验证方法，如断言验证，及它们在覆盖率导向验证中的应用。
参考来源 - 覆盖率导向的验证方法的研究与实现·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐