设计有越来大规模和复杂度的趋势,随之而来bug出现的概率也提高了。造成了“verification crisis".
在验证方法学和技术上, 人们投入财力和智力以应对危机。结果是,验证平台参数化,面向对象化了。仿真也自动化了。 总之,验证团队的”生产率”极大提高。
即便如此,bug还是在芯片中极低概率的存在。
所以,很显然的是应对危机不仅仅是验证的事,设计也必须负起责任来。
不禁要问,在设计的第一时间就可以避免出错,为什么一定要让验证来fix它。
为什么要写更多行不必要或不精简的代码以至大大提高了bug出现的概率。
所以,设计人员须提高代码的质量。并从内心真正承担起责任(努力使得代码在交给验证前bug率逼近于零)。
总之,设计在完成功能的同时,请将代码写少,写好。