系统级调试工具解决SoC设计难题

Novas软件公司近日针对捆绑嵌入式处理器的SoC推出一款调试工具nESL,有望在新兴的电子系统级(ESL)验证市场上争得一席之地。据该公司透露,调试工具的首创版本支持以事务级为基础进行调试；后续版本将支持软件调试和SystemC可视化。

许多观察家都强调,验证正引领着向ESL设计的转变。SystemC建模和仿真变得更加普及,Verisity公司的“e”语言等验证语言允许在相对高的层次开发测试平台。但调试能力也是必须的,这正是Novas决定进入市场的原因。

“我们正在扩展调试功能以完全涵盖ESL方法,”Novas公司的行销副总裁Dave Kelf表示,“随着业界向软硬件统一设计语言的逐渐转移,这种调试环境将变得很重要,允许对ESL方法进行全面观察。”

Kelf表示,作为Novas公司Verdi调试器的一个可选功能,nESL有助于硬件工程师处理嵌入式处理器平台、系统级工程师开发高层模型以及软件工程师编写设备驱动程序等低层代码。但是由于支持事务级调试和分析,首创版本更侧重于硬件。

Verdi对事务级处理已经有所支持,但nESL提供了“更为先进的显示机制”,Kelf表示。例如,nESL支持各种事务级类型,包括分割式事物处理(第二次事务处理开始于第一次事务处理结束时的地址总线),以及重叠型事务处理(第二次事务处理开始于第一次事务处理结束之前)。

nESL的另一个新功能是直接从“e”或SystemC以及开放的事务处理接口读取事务的能力,更方便了事物数据的捕获和存储。这种能力也为取自HDL代码以及专有总线格式的信号数据向用于观察的事务处理的转换提供了可能。Kelf表示,通过这一机制,nESL就能提供验证IP(来自Denali等公司的第三方IP)的事务级认识。

通过整合和转售SpiraTech公司用于nESL的粘着性(cohesive)事务的捕获和生成技术,Novas公司与这家英国公司的合作关系更进了一步。Novas透露,作为nTE(事务抽取)选项面世的合作成果提供了10种总线协议的验证IP库,包括Amba AHB、Amba AXI、PCI Express和OCP-IP。

maintext">

图1: Novas nESL提供系统级调试
,处理硬件和嵌入式软件

界面友好的仿真器

Kelf表示,nESL基于事务处理的调试可以与Cadence设计系统公司、明导咨讯和Verisity等公司所有主要的HDL仿真器以及模拟器协同工作。

计划于二季度末限量供应的第二版nESL将增加一个硬件/软件调试接口。据Kelf透露,Novas正在Verdi中整合包括ARM公司的RealView在内的多个软件调试器。

“新版nESL装载了ARM代码,并执行在指令集仿真器上运行的软件,”Kelf介绍,“随后硬件调试器检查硬件部分。如果用户想观察软件调试并点击某条指令,硬件调试器就会做出响应。”

同时第二季度计划面世的还有SystemC编译器和调试器。“内置的硬件窗口解析SystemC代码并识别类库,因此用户不会陷入复杂的C/C++代码中。”Kelf表示,“用户可以像处理建模语言那样处理代码。”

在硬件窗口允许用户通过SystemC代码进行跟踪的同时,软件调试窗口也允许堆栈跟踪等功能,并将变量描述为软件变量而不是硬件寄存器单元。Kelf强调,该窗口没有时间戳,仅显示正在被执行的指令序列。

Novas公司不会止步于SystemC。公司正在与Mathworks公司讨论链接到Matlab的可行性,同时也在关注UML,Kelf透露。

“既然我们的数据库已经包含面向对象的概念,那么我们就有能力与某些较高层次的语言进行合作。”他表示。

nESL产品需要与Verdi一起使用,一年的许可费用起价为6,000美元。目前事务级处理能力已经面世。

作者: 葛立伟