|
明导国际 (Mentor Graphics)宣布已在台积电的参考流程11版中扩大低功率验证功能的使用，以因应现今复杂集成电路(IC)的低功率功能验证需求。Mentor低功率验证工具套件包括Questa功能验证平台、0-In CDC(时脉域交叉)和0-In形式工具、以及FormalProTM等效检查(equivalence checking)工具。
台积电设计建构行销处处长Suk Lee表示，“由于低功率需求为设计能否满足功能规格带来了日益增加的压力，因此功能验证已成为许多设计团队的重大挑战。明导国际持续展现出对功能验证技术的高度承诺，并拥有洞悉未来几年会需要哪些新功能的绝佳远见。”
明导国际总经理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)。
本文来源：电子工程专辑
|
