EDA軟件商oneSpin Solutions GmbH公司引進序列等價驗證方案,該方案致力于FPGA綜合驗證。

oneSpin Solutions公司聲稱其360 EC-FPGA等價校驗器使設計者可以結合高級綜合優化進行功能驗證,高級綜合優化在功能、性能和成本目標方面不可或缺。此等價校驗器還稱能在寄存器轉移水平代碼和后綜合FPGA網表之間驗證功能等效性,也可以在后綜合表單和后布局布線FPGA網表之間驗證功能等效性。

OneSpin公司補充說其方案旨在利用全部實施階段,檢測錯誤,失配上引進復雜的FPGA綜合優化來維護設計功能。該方案同時支持原型和產品部件驗證。該公司指出。

“復雜,高度優化的FPGA設計要使用等價驗證,設計者需要特殊的FPGA解決方案而非折衷的優化方式。”OneSpin的CEO Peter Feis指出。“我們制造獨立的360 EC-FPGA ,特制方案用來滿足這種需要。我們的客戶告訴我們,該等價校驗器可以很容易地和他們已建立的FPGA流匹配,并且保證了他們的設計質量。其技術的優越性和富有吸引力的價格將幫助OneSpin在這類新興市場中取得領先地位?！?/p>

這個設在Munich的公司指出其360 EC-FPGA方案適合Linux 32/64位和Solaris 32/64系統平臺,標價40,800美元。

該EDA公司在2005年5月建立,oneSpin Solutions和Apax Partner籌集了1400萬,公司在北美運營。