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

oneSpin Solutions公司聲稱其360 EC-FPGA等價校驗器使設(shè)計者可以結(jié)合高級綜合優(yōu)化進(jìn)行功能驗證,高級綜合優(yōu)化在功能、性能和成本目標(biāo)方面不可或缺。此等價校驗器還稱能在寄存器轉(zhuǎn)移水平代碼和后綜合FPGA網(wǎng)表之間驗證功能等效性,也可以在后綜合表單和后布局布線FPGA網(wǎng)表之間驗證功能等效性。

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

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

這個設(shè)在Munich的公司指出其360 EC-FPGA方案適合Linux 32/64位和Solaris 32/64系統(tǒng)平臺,標(biāo)價40,800美元。

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