• 断言验证 - 引用次数：3

  There is also some new techniques and its application in thisdissertation, for example, assertion based verification.

  论文中还介绍了一些新的验证方法，如断言验证，及它们在覆盖率导向验证中的应用。

  参考来源 - 覆盖率导向的验证方法的研究与实现
  基于断言的验证

·2,447,543篇论文数据，部分数据来源于NoteExpress