Conformal Low Power支持多电源电压(MSV)岛、粗粒度电源门控(PSO)、粗粒度接地开关(GSO)、动态电压和频率缩放(DVFS)以及状态保持电源门控设计技术。
它还可以使用CPF、逻辑门网表(通常在综合后)和功率感知物理门网表(在布局布线之后)对RTL设计执行电源域结构和功能检查。对于RTL和逻辑门网表检查,您定义电源意图:电源域、接地域、电压、待机条件、电源模式和电源关联以及正在使用的低功耗电池。Conformal Low Power然后在整个设计层次结构中传播域并识别所有域边界交叉点。
最后,它报告:
1、电源和接地域分配相关问题和浮动连接
2、电平转换器:缺失、冗余、错误的域位置或错误的连接
3、隔离单元:缺失、冗余、错误的栅极类型、错误的位置、错误的隔离使能极性
4、未适当供电的控制信号
Conformal Low Power支持专用和非专用隔离单元,以及组合隔离和电平转换器单元。它还使用形式化方法执行隔离和状态保留功能检查。
对于物理网表检查,Conformal Low Power接受Verilog功耗感知网表和仿真或Liberty模型。
它使用顶级电源引脚、电源和接地网络、电源开关(MTCMOS)、接地开关、孤岛电压、电源引脚关联和低功耗单元来自动导出设计中的电源域和域交叉。用于物理网表检查的整个工具设置也可以从CPF派生。
实际物理网表支持是Conformal Low Power独有的——它使用实际电源连接来分析设计,而不是基于实例名称的假设连接。保形低功耗报告:
1、电源和接地连接不正确,包括短路和开路
2、具有未定义电源域或混合电源域的实例
3、电源连接丢失、冗余和错误以及电平转换器类型错误
4、缺失、冗余和不正确的隔离单元电源连接
5、为未通电的开关、隔离单元和状态保持寄存器供电的电源控制信号
6、状态保持寄存器的电源连接不正确
Conformal Low Power还对用户定义的隔离单元以及基于标准单元的隔离进行隔离功能检查。它还使用形式方法对状态保持寄存器运行睡眠和唤醒序列功能检查。