用于EDA的系统级验证流

EDA行业继续为硬件设计和验证进行创新和着先进工具开发,但目前尚未发现有哪种方法可以加速硬件/软件开发的增长,或是能够利用Cadence所称的为企业系统级(ESL)方案。

为生成一个可提供真正企业范围内的系统级流程,EDA行业必须开发出一个利用了我们在硬件开发中见证的所取得众多成就的全面方法论。它将专注在系统级生成、模拟、转换、分析、集成和验证。借助在这些领域持续的创新,通过专注于它们如何与系统级开发相互关联,我们将可得到系统级验证愿景所需的力量和灵活性。

一个有效的方案必须支持捕捉系统级规范完整设计意图的能力。它包括使团队中的核心成员担当早期架构分析来确保以采用了业界认可的意图表述的计划作为出发点。这种表述通常是采用C/C++或SystemC的高水平系统抽象。在该系统创制阶段,设计团队必须根据速度与体积、低功耗与高性能等产品目标来权衡规范中的各种要求。在设计团队就该权衡达成一致后,就向一个好的系统级开发和验证进程前进了一步。

采用先进测试基准的模拟仍是在最少资源下进行最多系统功能验证的最主要工作。为使模拟在整个ESL项目中最有效,需要它能在包括C/C++、e、SystemC、SystemVerilog和其它HDL输入的整个设计流中无缝地运行。但为保持系统级环境的可靠性,当使用这些语言时,不能牺牲性能。的确,该平台必须允许架构扩展以及同时提供性能和详尽验证替代的软件开发。另外,需建立模拟环境,以便它能与基于硬件仿真的应用级模拟协同工作并利用其带来的好处。

需要源自系统级的实现转换不仅是关于转换的功能一致性的,还和在做实现选择时提供程度适当的自动化和控制相关。在一个有效的系统级方案中,这些转换的验证仍是关键,它为实现方法的多样性提供了一个开放方案。

为满足市场需求,对宏架构和微架构实现的分析非常重要。若有用于系统级测量的算法再配以开发模型所需的方法学,则能支持对宏/微两种架构的分析。若没有这些,项目团队在做重要决策时会茫无头绪。

另外,横跨从早期架构建模到后硅验证的测试基准方法对系统质量和工期的可预测性都很关键。

作者:Mike Stellfox

首席现场验证方法学家

Cadence设计系统公司