基于声明的验证需要更好的方法学

在最近举行的EDA论坛上,与会者一致认为,基于声明的验证对硅IP的开发商和集成商都有帮助,但业界迫切需要如何高效使用声明的指南。

由Accellera标准机构组织的这次座谈会指出,验证挑战来自于硅IP的复用。Cadence设计系统公司语言和标准战略部总监、会议主持人Victor Berman表示,虽然IP模块可以实现标准的协议,但在最终设计中仍有上百种可能的变化。

临时声明、形式语义以及静态和动态检查可以提供帮助。“在IP的静态检查方面有大量工作要做,但客户需要检查功能而不是结构。”Berman表示,“理想情况下,IP是可以自检测的。”

新思公司科学家Arturo Salz认为,IP供应商应该与它们的IP模块一道交付预封装的声明。这应该包括一个参数化的覆盖模型。但仍面临艰巨的挑战,如判断多少声明才是足够的,Salz说。

基于声明的形式验证可以使IP供应商和集成商都受益,形式验证提供商Real Intent公司的首席技术官Pranav Ashar表示。IP开发商可以利用声明验证他们创建的模块。IP集成商可以利用声明获得IP的可观察性、评估第三方IP质量,并通过分割法在早期对系统级芯片设计进行有效地验证。

“使用基于声明的验证的最佳方法是在设计中添加尽可能多的声明。”Ashar指出,“在设计的最初阶段就开始基于声明的形式验证,然后向上层移动。如果你是从模块开始的,就检查模块之间的假设。”

明导资讯公司验证方法师Tom Fitzpatrick认为,声明可以帮助IP集成商确定模块是否“防弹”。声明可以帮助IP集成商理解设计意图,确定非法激励,报告未经验证的行为,并减少使用系统级的直接和随机仿真。

“用户可以使用声明验证内核,然后将内核嵌入设计中,并在系统中验证它。”他指出。声明可以帮助IP创建商开发可执行的规范,检测缺陷,评定测试平台的等级和着重解决难点问题,Fitzpatrick表示。

Fitzpatrick还指出,声明可以在仿真过程中检查接口行为、跟踪功能覆盖并为自动激励生成提供“目标”。但标准化肯定是需要的,他说,这样IP提供商只需提供一种语言的一种模型,而IP用户也不会被锁定在某家供应商的工具。

设计服务供应商The ASIC Group公司总裁James Lee认为,IP供应商需要提供优秀的接口检查,但应该避免令人厌烦的声明,如那些会在仿真时发出上千条“X”(未知)状态警告信息的声明。

Jasper设计自动化公司首席方法师Harry Foster表示,他见过一些非常低效的声明。“我们确实缺乏如何做好这项工作的优秀指南。”他说。

事实上,“使用模型还处于发展的早期阶段。”Lee说,“我们需要对用户群有更多的了解,从而产生一个好的方法学。”

“如果你尽可能多地使用声明,这样做出来的设计将令人发疯。”Cadence公司的Berman表示,“因此,我们需要一个好的方法学。”

然而,座谈会没有提供开发这种方法学的详细途径。Real Intent公司的Ashar警告一种方法学将会“过载”。新思的Salz认为,业界将推出一系列的方法学,而不会只有一种。

作者:葛立伟