(Voltage-Aware的静态验证 )
由于手持设备和无线产品盛行并且还在不断地向更小尺寸方向发展，功率管理已经成为一项至关重要的问题。功率管理技术的范围包括从运用时钟门控和采用多阈值库，到各种电压控制技巧，诸如功率门控(power-gating)、保存（retention）、动态电压缩放（DVS），以及低vdd待机。而运用了多种电压控制技术的设计方案提出了难度不断升高的验证挑战。验证复杂度将随着设计方案中各种不同电压状态的数量增多而升高。而设计方案需要在从RTL阶段到网表（netlist）阶段之间随着设计进度进行验证。在设计方案的每一个阶段，都必须对功率实施方案进行验证，检测其是否符合功率设计意图。哪怕只有一项错误也会使设计处于不确定状态而导致整个芯片的故障。功率管理验证所使用的真正voltage-aware的静态检测器必须能够识别多电压及其相互之间依赖关系。 MVRC就是这样一款voltage-aware的静态检测器产品，可供工程师快速验证各种为实现功率管理而运用了多种电压控制技术的设计方案。此外，MVRC还能够从体系架构（architectural）以及结构（structural）的全局视角验证保护电路是否得到正确实施。
MVRC的主要特色和优
- 无需构建测试平台就能快速查找出功率管理方面的错误，从而缩短了设计验证用
- 能够对设计方案的功率体系架构进行验
- 验证跨越多个电压岛的控制信号网络的完整
- 推导出安全的功率次
- 根据功率设计意图执行结构检测
- 检测保持单元在逻辑电路方面以及功率连线之中的错误
- 自动推导出采用层次化功率管理的设计方案的功率状态表
- 能够节省几个月的功率设计意图规格制定时间
- 设置时间缩至最短；可以轻松地安装并用于设计验证工作
- 可定制错误和警告消息，能轻松地集成到客户流程中