Atrenta公司日前面向RTL分析和基于断言(assertion)的验证应用,推出所谓的“前瞻性开发工具”——1Team Analyze和1Team Verify,据称可为IC设计提供新的功能。
这两款工具与该公司4月推出的1Team Implement套件形成了互补关系。1Team Implement是一种涵盖了初始布局功能的统一物理规划、设计和IC实施(IC Implementation)解决方案。
据Atrenta业务部经理Simon Young介绍,1Team Analyze是该公司的Spyglass分析工具的扩展版本,新增了测试和功率分析功能,不仅能分析RTL代码中的问题,而且能够改正这些问题。
1Team Analyze使用静态和动态分析功能,可诊断RTL代码中的结构、编码和一致性问题,并跟踪到问题的源头；而AutoFix的功能则可自动修改RTL代码,这种功能还能改正定时错误,并确保可扫描寄存器。
1Team Verify是Periscope的扩展版本,能够自动生成断言,包括时钟域交叉(crossing)、有限状态机(finite state machines)、握手机制(handshake mechanisms)和总线结构。用户能够使用属性规范语言(Property Specification Language, PSL)或者SystemVerilog编写自己的断言,或者从开放资源Open verification Library(OVL)引入断言。这种模块级工具能报告断言是否通过测试,并具备一个集成波形图查看器。
1Team Analyze和1Team Verify将于第三季度供货,起价分别为45,000和80,000美元。
京公网安备 11011202001138号
