混合信号验证：功耗验证 - 工程师不得不懂的MCU混合信号验证策略和挑战

　　2.3.4 混合信号验证challenge4 – 功耗验证

　　混合信号验证的另一大挑战是功耗验证。Kinetis的功耗验证采用了CPF方法。

　　CPF语言提供表示设计实现和验证使用的工具所能理解的功率意图。

　　基于CPF的低功耗验证流程使其有能力在设计周期的早期RTL已准备就绪时验证低功耗设计意图。流程包括使用CPF进行静态检查和动态仿真。

　　这是Kinetis的功率域图，功率域包括padring电源域、DGO电源域、SOG电源域、VDDA电源域、RTC电源域、USB电源域、FLASH电源域、双口RAM电源域、SRAM电源域。

　　下面是可以通过动态CPF仿真来验证的主要项目：

　　·电源开关关闭（PSO）行为

　　·设计逻辑错误断电

　　·隔离规则：隔离值的正确性

　　·状态保持功率门控（SRPG）规则

　　·正确的断电供电顺序

　　·内存电源关闭控制

　　Encounter® Conformal®低功耗软件可以让你在设计过程早期使用的正规技术（相对于仿真）来验证芯片。可以用来捕获错误的功率意图规范，比如隔离单元缺失/冗余、电平转换器、或者控制信号无适当供电等，尤其是电平转换器，在动态CPF仿真中非常难以验证。也可以用来在每个验证阶段进行等效性检查。

　　2.3.5 混合信号验证底5大挑战 – 混合信号功能覆盖

　　传统上，覆盖率是用以建立信任的一个维度，对于确保验证计划完整、设计经过尽可能彻底的验证而言，这是一个安全网络。覆盖率指标是针对明示或暗示目标测量所收集的覆盖率数据，通常以百分比表示。

　　目前混合信号验证质量取决于混合信号验证工程师的经验。模拟信号的功能覆盖迫切需要一种通用的方法。

　　AMS designer可以支持面向控制的PSL / SVA断言，ICC也支持PSL断言和覆盖率指令。对于有几个模拟IP在内的混合信号芯片，每个模拟IP都有自己的覆盖模型。这些模型是独特的，各有不同。

　　这些覆盖模型是自动生成的，是模拟设计的仿真部分。

　　这些覆盖模型有助于产生模拟信号的功能覆盖报告，功能覆盖报告100％应该是验证流程一个强制要求，这样可以消除不完整验证可能带来的错误。

　　本文选自电子发烧友网6月《智能工业特刊》Change The World栏目，转载请注明出处。