注册 登录
ET创芯网论坛(EETOP) 返回首页

imicman的个人空间 http://blog.eetop.cn/?1518355 [收藏] [复制] [分享] [RSS]

日志

assertion

已有 301 次阅读2016-8-10 22:24 |个人分类:验证杂谈


1 可以由designer来加断言,也可以由验证加断言

2.验证施加断言要求
  A 断言仅仅针对于接口
  B对于激励输入接口,断言关注的是propery的cover
  C对于输出接口,断言关注输出的接口的时序,以及property的cover

评论 (0 个评论)

facelist

您需要登录后才可以评论 登录 | 注册

关闭

站长推荐上一条 /2 下一条

小黑屋|手机版|Archiver|ET创芯网 ( 京ICP备:10050787号 京公网安备:110105001212 )

GMT+8, 2019-4-26 18:28 , Processed in 0.030084 second(s), 11 queries , Redis On.

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

返回顶部