Mentor在台积电参考流程11版扩充低功率验证功能

明导国际(Mentor Graphics)宣布已在台积电(TSMC)的参考流程11版中扩大低功率验证功能的使用，以因应现今复杂积体电路(IC)的低功率功能验证需求。Mentor低功率验证工具套件包括 Questa 功能验证平台、0-In CDC (时脉域交叉)和 0-In形式工具、以及 FormalPro 等效检查(equivalence checking)工具。

明导国际总经理John Lenyo表示：“低功率需求是绝大部分我们双方共同客户的优先考量。这就是为什么开发有效低功率设计验证解决方案一直是我们的首要任务，同时我们也计划将针对未来的参考流程计划扩展与台积电之间的合作。”电源管理已成为大部分数位晶片和系统的最重要议题；可携式系统必须尽可能延长电池寿命，同时几乎所有的产品也都必须将热量产生降至最低。

由于晶片必须在任何特定的开机时间内就能正确运作，因此主动式电源管理已为晶片设计和验证带来了新的挑战。完整的功能验证解决方案不仅能够验证电源管理架构，亦得将电源管理控制系统涵盖在内。Questa功能验证平台、0-In CDC工具、0-In形式工具和FormalPro工具的结合，可协助使用者解决所有的低功率验证问题。

Questa功能验证平台支援具功率意识(power aware)的RTL模拟和闸级设计，包括：支援统一功率格式(UPF，IEEE P1801)的功率意图规范；电源管理架构和控制逻辑的准确建模；高效能模拟的UPF原生建置；自动插入声明(assertion)，以检查电源管理错误；视觉化和电源管理行为的除错。

FormalPro工具可在整个建置过程中，维持RTL设计的功率意图，包括：RTL至逻辑闸(RTL-to-gate)和逻辑闸至逻辑闸(gate-to-gate)的功率意识等效检查；具完整TCL 8.4解译器的原生UPF语言处理，以取得多重产品UPF相容性和使用者配置；具功率+接地(PG)网表支援的Liberty 2.5库相容性，以进行RTL到PG(RTL-to-PG)比较；PG网表探索(exploration)的完整原理图支援。

0-In形式工具可实现主动式电源管理控制架构的完整验证，包括：在无声明条件下，自动确认设计逻辑问题；功率控制单元逻辑和功率控制讯号序列的完整验证。0-In CDC工具可实现低功率设计中复杂时脉域交叉的验证，包括自动确认时脉域和同步器、形式和以模拟为基础的CDC验证，以及自动亚稳态注入(metastability injection)。