Cadence CONFORMAL-卡核

制造商：Cadence Design Systems
Cadence CONFORMAL是一款形式验证驱动的等效、低功耗和ECO解决方案，使用可为用户提供独立的等效性检查解决方案，支持从RTL到P&R的最终网表验证设计。除了标准的等效性检查外，Conformal解决方案提供丰富的功能，随着设计不断变得更加复杂，以满足对功率、性能、面积和上市时间的严格要求，设计的形式验证仍然是确保芯片成功的主要和必须具备的签核指标。包含低功耗设计的静态验证解决方案，包括低功耗等效性检查。自动化ECO生成功能，可实现最小的网表更改和更快的流片。时钟域交叉和SDC验证解决方案的约束设计器。

软件功能

1、Encounter Conformal Low Power XL

XL配置结合了针对较复杂的低功耗SoC和数据通路密集型设计的逻辑等效性检查，以及针对低功耗设计的功能和结构检查。

2、电源意图创建、验证和调试

对于只有几个电源域的中等设计，在文本编辑器中创建电源意图可能相对简单。但随着设计采用更精细的节能技术，在文本文件中创建它们可能很困难且容易出错。

Conformal Low Power允许您在设计和库的上下文中创建功率意图。您可以为IP或层次结构定义宏模型，描述模块的内部电源特性。宏观建模是实现更高级别设计抽象的关键。功率意图集成功能可以合并和解析分层功率意图，并生成单一的顶级功率规格集。

Conformal Low Power可以读取/写入文件的功率意图。在设计过程的任何时候，运行电源意图质量检查都会发现任何语法和语义问题。错误/警告消息、设计源（RTL/门网表）和功率意图文件之间的交叉探测将加速这些问题的调试和功率意图的细化。

Conformal Low Power结合了仿真、综合和物理实现工具，在流程中提供了对低功耗设计的独立验证。同样，它支持基于电力意图格式的可互操作子集的电力意图的可互操作环境

3、等效性检查

在开发过程中，低功耗设计在最终布局之前经历了多次迭代，这个过程中的每一步都有可能引入逻辑错误。Conformal Low Power在这些不同阶段检查低功耗设计的不同版本的功能等效性，并使您能够在错误出现后立即识别和纠正它们。例如，它根据经过验证的黄金（RTL）及其相关的功率意图验证后综合网表和实例化的功率意图。它支持高级动态和静态电源综合优化，例如时钟门控和信号门控、多Vt库以及时钟树综合和优化期间门控时钟的去克隆和重新克隆。

Conformal Low Power支持通用电源格式(CPF)规范语言。它使用CPF作为指导，独立建模实现如何将低功耗单元（电平转换器、隔离和状态保持寄存器）插入和连接到RTL设计中，从而实现从RTL到门级的真正低功耗等效检查。Conformal Low Power还可以在等效检查期间将电平转换器和隔离单元建模为域锚点，以检测逻辑门是否错误地跨越了从一个版本的网表到另一个版本的域边界。Conformal Low Power也支持其他功率意图标准。

4、结构和功能检查

Conformal Low Power支持多电源电压(MSV)岛、粗粒度电源门控(PSO)、粗粒度接地开关(GSO)、动态电压和频率缩放(DVFS)以及状态保持电源门控设计技术。

它还可以使用CPF、逻辑门网表（通常在综合后）和功率感知物理门网表（在布局布线之后）对RTL设计执行电源域结构和功能检查。对于RTL和逻辑门网表检查，您定义电源意图：电源域、接地域、电压、待机条件、电源模式和电源关联以及正在使用的低功耗电池。Conformal Low Power然后在整个设计层次结构中传播域并识别所有域边界交叉点。

最后，它报告：

•电源和接地域分配相关问题和浮动连接

•电平转换器：缺失、冗余、错误的域位置或错误的连接

•隔离单元：缺失、冗余、错误的栅极类型、错误的位置、错误的隔离使能极性

•未适当供电的控制信号

Conformal Low Power支持专用和非专用隔离单元，以及组合隔离和电平转换器单元。它还使用形式化方法执行隔离和状态保留功能检查。

对于物理网表检查，Conformal Low Power接受Verilog功耗感知网表和仿真或Liberty模型。

它使用顶级电源引脚、电源和接地网络、电源开关(MTCMOS)、接地开关、孤岛电压、电源引脚关联和低功耗单元来自动导出设计中的电源域和域交叉。用于物理网表检查的整个工具设置也可以从CPF派生。

实际物理网表支持是Conformal Low Power独有的——它使用实际电源连接来分析设计，而不是基于实例名称的假设连接。保形低功耗报告：

•电源和接地连接不正确，包括短路和开路

•具有未定义电源域或混合电源域的实例

•电源连接丢失、冗余和错误以及电平转换器类型错误

•缺失、冗余和不正确的隔离单元电源连接

•为未通电的开关、隔离单元和状态保持寄存器供电的电源控制信号

•状态保持寄存器的电源连接不正确

Conformal Low Power还对用户定义的隔离单元以及基于标准单元的隔离进行隔离功能检查。它还使用形式方法对状态保持寄存器运行睡眠和唤醒序列功能检查。

5、集成环境

直观的交互式GUI简化了设置和调试，使您能够快速操作工具并精确定位

检查失败的原因。包括：

•通过集成的原理图查看器进行图形调试

•使用分配和加权百分比进行等效检查的自动错误候选识别

•低功耗管理器GUI，可帮助您调试失败的检查

•波形查看和自动反例生成失败的隔离和状态保持属性

6、遇到保形低功耗GXL

GXL配置包括Encounter Conformal Low Power XL的所有功能，并增加了对晶体管电路分析、抽象和定制设计、标准单元库、I/O焊盘和嵌入式存储器的等效性检查的支持。它还提供对电路完整性的独特检查，例如通过晶体管堆栈检查驱动强度，以及检查跨电源域边界的电路问题，例如断电期间偷偷摸摸的直流路径。

Conformal Low Power GXL还可以从晶体管cdl/SPICE网表中抽象出电平转换器和隔离单元的准确功率感知Verilog模型。这允许您识别仿真、Liberty、SPICE和LEF模型之间的不一致。它还有助于验证低功耗设计中使用的隔离单元是否合适。

文章版权归作者所有，未经允许请勿转载。

THE END