会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
啊松
博客园
首页
新随笔
联系
管理
订阅
2014年10月25日
Verification Mind Games---how to think like a verifier像验证工程师一样思考
摘要: 1. 有效的验证需要验证工程师使用不同于设计者的思维方式思考问题。具体来说,验证更加关心在严格遵循协议的基础上发现设计里面的bug,搜索corner cases,对设计的不一致要保持零容忍的态度。mindset:一套人们应该持有的确定的态度,有时候又被描述为心里惯性,群体思维,范式,在分析和决策过程中很难抵消mindset的影响。举一个简单的例子,当你看到任何verification engine...
阅读全文
posted @ 2014-10-25 21:37 啊松
阅读(587)
评论(0)
推荐(0)
编辑
公告