Mentor Graphics日前宣布，摩托罗拉公司的移动电话基础设施设计中心已决定采用该公司的FormalProTM，验证摩托罗拉的新世代移动电话基地台，这其中包含百万逻辑闸的ASIC组件。

摩托罗拉基础收发器子系统卓越中心的资深资源经理David Mueller表示，他们已在逻辑闸总数高达三百万个的三项设计项目中采用FormalPro，这套工具也协助摩托罗拉实现缩短发展时程和高质量设计的目标。

Mentor Graphics公司表示，由于集成电路复杂度不断增加，传统逻辑闸层级仿真法所须时间已变得太长，使它失去实用价值。FormalPro则采用等效检查（equivalence checking）技术，可以证明目标设计功能相等于已完成验证的参考设计，为设计人员省下数个月时间，使他们在设计实作过程的所有阶段，包括暂存转移层级、合成、可测试性设计、布局和工程变更命令，都能更快完成他们的设计验证工作。

FormalPro的设定程序最少，使工程师得以省下更多时间，也让正规验证技术更容易加入任何设计流程。这套工具还提供最高处理容量，不必对目标设计做任何分割，就能执行全芯片验证；除此之外，FormalPro的除错功能还可以找出错误的确实位置，设计人员不必退出这套工具，就能评估更正措施，进一步省下数星期的设计迭代时间。

Mentor Graphics的FormalPro产品经理Reily Jacoby表示，非常高兴像摩托罗拉移动电话基础设施设计中心这样的业界厂商也能选择采用FormalPro，Motorola的成功证明了FormalPro这套工具拥有的效能，可以满足客户最严格的验证要求。