corner case是怎么定义的?是不是在random driven testbench中才使用?direct test中,会用corner case吗?
有两种解释
一种是边界情况,例如一个FIFO的corner cases就是full和empty。如果要验证这个fifo,你就要让它经历从full到empty,然后再从empty到full。这样其实经历了full,不空也不满,empty这样三个状态,而full和empty就是corner case.如果某个corner场景没有覆盖到,你可以通过进一步约束随机范围或者用直接用例测试。
第二种解释,full and empty case 應該叫 boundary case 或 edge case。corner case 一般指的是你无法想到的 case 或不常见的 case, 很难用 directed test 去测出,只能利用不断 random 的方式去撞出 corner case.
其实corner case很像edge case,但是它是站在功能点的角度上去说的,不单单是数据上的边界。例如决定FIFO full还是empty可能有很多个input,而这些input又各有自己的边界。我们会随机这些input去激励DUT,但是有时候我们发现很难覆盖到某个corner case (full或者empty), 这个时候我们就需要去约束随机或者用direct case。
简单来说,corner case是结果输出上的边界,edge corner是激励输入上的边界。如果能发现corner case上的rtl功能问题,可能你的绩效就有了~
作者:验证哥布林
原文链接:https://mp.weixin.qq.com/s/od_b7IXSHJ2bJIaYsZWBLw
微信公众号:
推荐阅读
更多IC设计技术干货请关注IC设计技术专栏