明導國際 (Mentor Graphics) 日前宣佈其最新推出的Platform Express™產品將支援SPIRIT聯盟 (SPIRIT Consortium) 新制定的1.2 XML規格。SPIRIT聯盟的最新規格包含各種加強功能，它們能加速大型系統單晶片解決方案的設計與驗證，同時讓設計鏈上所有矽智財和電子設計自動化 (EDA) 工具更緊密整合。
Platform Express v3.3.0利用新規格的驗證矽智財 (verification IP) 增強功能提供一組能夠支援0-In® Checkerware驗證矽智財以及PSL和OVL assertion的產生器。這款產品還可以直接連結到Mentor Graphics的Questa™驗證環境，同時提供一套架構來支援其它的驗證格式。
「Mentor Graphics是SPIRIT聯盟新規格背後核心技術的主要開發商。Mentor捐贈這項技術後仍不斷開發新設計工具把該規格的好處帶給最終使用者，這些努力持續帶動新規格往前發展。」Mentor Graphics系統層級工程部門總經理Serge Leef表示，「Mentor透過最新版本的Platform Express為設計人員提供強大的驗證功能，它們將進一步提高RTL矽智財的重複使用效率。」
Platform Express讓使用者在數分鐘內即可從矽智財自動產生系統單晶片設計，同時透過聯盟的1.2 XML規格產生相關技術文件。系統單晶片設計人員可利用這套工具及其眾多先進的產生器把複雜又容易出錯的設計過程自動化，像是設計輸入、矽智財整合、電源域建立、軟體產生、驗證步驟和一套可配置組態的編譯環境，這使得設計的銜接更方便，工程師也能迅速產生和驗證他們的系統。Platform Express的整個設計都以標準為基礎，它會以Eclipse外掛軟體的形式提供給客戶，使這套工具成為大型客製化設計環境的一部份。
SPIRIT聯盟的規格使用XML來產生包含設計資訊在內的矽智財資料表 (IP databook)，再由軟體工具利用這些可機器解讀的資料自動配置矽智財方塊和把它們整合到設計中。經過數年的開發作業，SPIRIT聯盟表示1.2版新規格已能提供一套完整的矽智財應用設計與驗證平台。
Platform Express v3.3.0利用新規格的驗證矽智財 (verification IP) 增強功能提供一組能夠支援0-In® Checkerware驗證矽智財以及PSL和OVL assertion的產生器。這款產品還可以直接連結到Mentor Graphics的Questa™驗證環境，同時提供一套架構來支援其它的驗證格式。
「Mentor Graphics是SPIRIT聯盟新規格背後核心技術的主要開發商。Mentor捐贈這項技術後仍不斷開發新設計工具把該規格的好處帶給最終使用者，這些努力持續帶動新規格往前發展。」Mentor Graphics系統層級工程部門總經理Serge Leef表示，「Mentor透過最新版本的Platform Express為設計人員提供強大的驗證功能，它們將進一步提高RTL矽智財的重複使用效率。」
Platform Express讓使用者在數分鐘內即可從矽智財自動產生系統單晶片設計，同時透過聯盟的1.2 XML規格產生相關技術文件。系統單晶片設計人員可利用這套工具及其眾多先進的產生器把複雜又容易出錯的設計過程自動化，像是設計輸入、矽智財整合、電源域建立、軟體產生、驗證步驟和一套可配置組態的編譯環境，這使得設計的銜接更方便，工程師也能迅速產生和驗證他們的系統。Platform Express的整個設計都以標準為基礎，它會以Eclipse外掛軟體的形式提供給客戶，使這套工具成為大型客製化設計環境的一部份。
SPIRIT聯盟的規格使用XML來產生包含設計資訊在內的矽智財資料表 (IP databook)，再由軟體工具利用這些可機器解讀的資料自動配置矽智財方塊和把它們整合到設計中。經過數年的開發作業，SPIRIT聯盟表示1.2版新規格已能提供一套完整的矽智財應用設計與驗證平台。
