|
集成电路 |
|
| 按行业筛选 |
|
|
| 按产品筛选 |
|
|
| |
本产品全部新闻
|
|
|
|
|
方便验证多电压设计的验证解决方案 |
|
| http://cn.newmaker.com
7/26/2007 11:36:00 AM
葛立伟
|
|
越来越多的IC设计采用多电源，以节省功率，但多电源域很难验证。ArchPro设计自动化公司最近推出了旨在应对这种挑战的MaVeric(发音同“maverick”)工具，据称这是一种全面的多电压验证解决方案。
MaVeric提供了架构化剖析(architectural profiling)功能，可跟踪多电压的状态、转变和次序。然后它会产生多电压断言，并在仿真期间跟踪覆盖率。它还能针对单元和知识产权(IP)模块产生对电压敏感的功能规范，并根据总体系统架构情况验证电源管理。
MaVeric的推出正好赶在设计师急切开发需要多电压“岛”验证的低功率设计的关键时候。当电源门控、动态电压调整和动态频率与电压调整等技术蜂拥而至时，这种挑战显得尤其艰巨。
ArchPro公司创始人兼首席技术官Srikanth Jadcherla表示：“该解决方案整合了ArchPro以前推出的两大验证产品的性能优势：与主流逻辑仿真器一起完成多电压验证的多电压协同仿真器MVSIM；无需测试向量就可提供静态检查的多电压规则检查器MVRC。同时，该解决方案中还增加了相当多的其它功能。”
其中一个新组件是架构化剖析，它是一个无向量的过程，可以观察设计中的电压变化，并跟踪电源状态交互和变化，Jadcherla指出。MaVeric接着会输出断言和覆盖率要求。这些内容会转送到仿真环境，当仿真运行时，断言和覆盖率要求将被自动跟踪。
支持模型创建
另外一个新功能是“电气化验证”，它允许用户创建自己的标准单元或IP模型。MVSIM只能为少数元件(如稳压器)提供有限的模型创建功能，但有了MaVeric后，用户可以创建任何类型的动态仿真模型，Jadcherla表示。这包括了电平转换器、保持寄存器和I/O单元等。在大多数情况下，他说，用户只需参数化现有模型，无需重新编写新的模型。
MaVeric的输入包括：RTL或网表代码，测试平台，用统一电源格式(UPF)、通用功率格式(CPF)或用户私有格式表达的电源意图。输出包括跟踪交叉、断言覆盖率和断言故障的报告。
MaVeric可以与第三方仿真器一起工作，包括新思的VCS、Cadence设计系统公司的NC-Sim和Mentor Graphics公司的ModelSim。它也能与Novas Software公司的仿真浏览和调试工具一起使用。
|
对 集成电路 有何见解？请到 集成电路论坛 畅所欲言吧！
|
