Magma發布了基於IBM技術的正式檢驗產品 Quartz Formal

美國加利福尼亞州聖塔克拉拉，2004年4月22日訊–晶片設計解決方案供應商捷碼(Magma)設計自動化公司(納斯達克代碼：LAVA)於今日發布了一款全新的正式驗証產品Quartz^®Formal，該產品以IBM授權的布爾等效技術為基礎。Quartz Formal 構成了 QuickCap 的一部分，共同組成捷碼(Magma)軟體產品套件，實現積體電路設計簽核。

捷碼(Magma)董事長兼首席執行官 Rajeev Madhavan 先生表示：“這一邏輯等效檢驗技術是真正久經考驗的。”他進一步強調：“它以久經IBM生產考驗的技術為基礎，滿足了最嚴格的定制需求和標準的IC設計需求。 Quartz Formal 實現了完善的等效檢驗環境， 包含了從RTL到門極和晶體管的設計實施環節。通過授權，我們將為客戶提供正式驗証技術，支持RTL到門極的等效驗証，門極到門極的等效驗証以及獨一無二的晶體管到門極的等效驗証。同時客戶也將感受到速度帶來的優勢：利用這一技術，我們自有的質量保証流程得以加速，提高了6－20個系數。這也構成了我們希望授權使用該技術的主要原因。”

捷碼(Magma)獲得授權的邏輯等效檢驗技術，IBM已經開發並使用了8年之久。一直以來，它用於支持超過2.7億隻晶體管的電路設計，包括IBM POWER4 和 POWER5 微處理器，以及多種ASIC設計。

Fastrack Design總裁兼首席執行官Moazzem Hossain先生表示：“Quartz Formal 產品比我們以往用過的所有正式驗証產品都要快十倍左右。該技術已經幫助我們識別了若干個設計中的細微問題，而另一個領先的驗証工具則沒有發現這些問題。毫無疑問，將這一驗証技術與捷碼(Magma)的IC設計流程相結合將實現最高的設計質量和最快的開發周期。”