Mentor Graphics日前宣佈，摩托羅拉公司的行動電話基礎設施設計中心已決定採用該公司的FormalProTM，驗證摩托羅拉的新世代行動電話基地台，這其中包含百萬邏輯閘的ASIC元件。

摩托羅拉基礎收發器子系統卓越中心的資深資源經理David Mueller表示，他們已在邏輯閘總數高達三百萬個的三項設計專案中採用FormalPro，這套工具也協助摩托羅拉實現縮短發展時程和高品質設計的目標。

Mentor Graphics公司表示，由於積體電路複雜度不斷增加，傳統邏輯閘層級模擬法所須時間已變得太長，使它失去實用價值。FormalPro則採用等效檢查（equivalence checking）技術，可以證明目標設計功能相等於已完成驗證的參考設計，為設計人員省下數個月時間，使他們在設計實作過程的所有階段，包括暫存轉移層級、合成、可測試性設計、佈局和工程變更命令，都能更快完成他們的設計驗證工作。

FormalPro的設定程序最少，使工程師得以省下更多時間，也讓正規驗證技術更容易加入任何設計流程。這套工具還提供最高處理容量，不必對目標設計做任何分割，就能執行全晶片驗證；除此之外，FormalPro的除錯功能還可以找出錯誤的確實位置，設計人員不必退出這套工具，就能評估更正措施，進一步省下數星期的設計迭代時間。

Mentor Graphics的FormalPro產品經理Reily Jacoby表示，非常高興像摩托羅拉行動電話基礎設施設計中心這樣的業界廠商也能選擇採用FormalPro，Motorola的成功證明了FormalPro這套工具擁有的效能，可以滿足客戶最嚴格的驗證要求。