晶片技術商業難題迎刃解 形式化驗證不容輕忽

來自世界各地的晶片設計者都認為,透過應用先進的形式化驗證技術,不僅可以解決設計者在技術與商業上的問題,更提供相當高的投資報酬(ROI)。這類工具軟體可以驗證工作中最困難的過程,使設計結構清楚且正確,讓設計者擁有更強大的能力,促進設計再利用,驗證關鍵性的功能,降低設計過程的瓶頸,甚至可以對完成的晶片進行除錯。
2010 年 12 月 16 日