事务级仿真平台问世,验证速度可望提高1千倍

基于FPGA的仿真板提供商仿真与验证工程公司(Emulation and Verification Engineering SA)和设计验证知识产权开发商Zaiq技术公司最近联合宣布了一款事务级验证平台。据这二家公司称,这款基于EVE ZeBu平台并包含Zaiq软件的产品要比基于软件的仿真速度快上一千到一万倍。

该系统采用了Zaiq SystemWare验证元件(SVC)库中的事务级模型。Zaiq软件也支持测试平台生成和C到HDL的接口。

Zaiq公司还透露了于去年9月份与Aptix公司建立的类似合作关系。在这二次合作中,Zaiq均采用了Accellera的最新标准协同仿真应用编程接口(SCE-API)在硬件验证平台上实现了事务级建模功能。

EVE公司美国业务部首席执行官Lauro Rizzatti表示,事务级建模速度要比该公司的ZeBu平台所提供的基于循环的仿真速度快一个数量级,而ZeBu平台本身要比基于软件的仿真速度快上好几倍。此外,事务级建模还能简化测试平台的创建,使设计人员能更好地思考事务而不是循环或事件。

“ZeBu技术是专门为支持事务处理而设计的,但直到现在用户还必须编写他们自己的事务处理程序或请咨询师帮忙。”Rizzatti指出。ZeBu板的仿真规模高达1,200万ASIC门,执行速度可达12MHz,因此完全可以作为传统仿真器的低成本替代品。

硬件覆盖率

Zaiq公司执行副总裁Rich McAndrew表示,该公司采用SCE-API生成一个可综合的总线功能性模型,它能使用户传递和控制整个事务处理过程。Zaiq公司的事务处理程序包含这一模型,并包含一个能向测试程序编写者提供一个API的C语言函数。Zaiq提供的事务处理程序适用于以太网、SPI、PCI、PCI-X、USB和Amba等协议。

“我们在EVE硬件上建立起来的技术既标准又灵活,”McAndrew说,“用户可以将整个数据包或DMA转移到仿真器中。”Zaiq公司声称,该技术能完成电子系统级验证。

Zaiq公司还提供了有助于用户创建和组织事务级测试的环境,以及用于在C和VHDL或Verilog之间交流测试信息的TestBench Plus传送层。该环境支持多线程,因此能够执行并发任务。

语言选项

由于事务处理程序支持C语言API,因此用户也可以用Vera或“e”等其它语言编写他们的系统级测试程序,McAndrew解释道。但他认为混合事务和事件是非常困难的。

EVE将在三月份推出它的ZeBu ZV-8000验证板。这块板将使用Xilinx公司的Virtex FPGA。一块板即可提供150万ASIC门,如果8块板级联则可达到1,200万门的规模。

ZeBu/SVC捆绑系统的起价为66,000美元,有现货供应。

“人们对EVE感兴趣的原因是他们的仿真技术有了进一步的突破。”Zaiq公司的McAndrews表示,“对大众来说几乎是突然间这一技术就变得唾手可得,而且门槛低于10万美元。这对全球生产芯片的人来说无疑具有很大的吸引力。”

作者: 葛立伟