在最近于加利福尼亚举办的设计与验证会议(DVCon)上,主题演讲者一致认为,为了突破功能验证瓶颈,设计者必须提高设计质量。他们呼吁采用一种新的能够在设计初期产生更少缺陷的设计方法。
统计表明,功能验证时间占整个设计过程的35%到70%。通常情况下,验证团队的规模大于设计团队,在设计人员开始采用90nm或更小工艺进行5,000万门规模设计之前,验证水平必须得到显著提高。
观察家表示,仅在验证方面投入大量努力是不够的。明导资讯的首席执行官Walden Rhines在其主题演讲中指出,三分之二的芯片设计需要二次以上的反复,而这些反复中有四分之三是由于逻辑错误或其它功能缺陷造成。
在小组讨论中,大多数人均认为:真正的问题源于设计。“我们需要从设计后的验证转变为设计中的验证,”Jasper设计自动化公司首席技师Harry Foster表示,“我们应该从一开始就树立质量意识。”
提及公司的JasperGold工具时,Foster表示这款“新一代”的形式验证工具将大有帮助。Jasper工具可以验证高层要求,并使用一种“证实的正确设计方法。”
一种能够让设计师帮助验证(有时候他们已经做到了)的方法是在RTL代码中添加声明。新出现的 SystemVerilog语言将简化这个过程。“专家认为,设计师应该在代码中任何需要注释的地方添加声明,”Rhines表示,“每十行添加一个声明并不是不切实际的。”
maintext">
图1:更好的验证源于更好的设计
但Intel研究所的总工Limor Fix则指出,设计师正以错误的方式添加声明。她解释,目前设计师都是先进行设计,然后再加入声明。
“我们先设计,然后才去注明代码的意义,”Fix说,“这么做的顺序是错误的。我们应该首先明确声明或设计意图,然后再做低一级的细节设计。”
验证工具供应商Verisity公司的高级产品工程师Andrew Piziali认为,区分规格(早期设计摘要)与文档(对已完成工作的记录)非常重要。“通过在设计流程中集成功能规格,可以成倍提高首次流片的质量。”Piziali介绍,“这样做还能够使设计缺陷尽早暴露。”
Azul系统公司的架构师Kevin Normoyle认为好的设计意味着简约。“我们老在夸耀设计复杂性,但事实上我们做得并不好,”他表示,“在我看到的存在很多缺陷的多数场合,设计中都充斥着没有任何附加值的垃圾。”
是否需要独立的设计和验证团队在此次DVCon上引起了分歧。Verisity公司的Piziali认为当然需要,并且以独立验证团队的重要性作为论据。
而Gartner Dataquest的首席EDA分析师Gary Smith则反驳说:“一旦将设计和验证团队分开,验证效率马上会下降25%。”
作者: 葛立伟
京公网安备 11011202001138号
