OneSpin發表新一代FPGA合成驗證解決方案

EDA軟體廠商OneSpin Solutions引進序列等價驗證方案，此方案可實現FPGA合成驗證。OneSpin Solutions表示，其360 EC-FPGA等價校驗器使設計者可以結合高階合成最佳化進行功能驗證，而高階合成最佳化在功能、性能和成本目標方面不可或缺。

此等價校驗器還能在暫存器轉移水準程式碼，和後合成FPGA網表之間驗證功能等效性，也可以在後合成表單和後佈局佈線FPGA網表之間驗證功能等效性。此方案旨在利用全部實施階段，檢測錯誤，失配上引進複雜的FPGA合成最佳化來維護設計功能。該方案同時支援原型和產品元件驗證。

OneSpin的CEO Peter Feis指出，複雜且高度最佳化的FPGA設計要使用等價驗證，設計者需要特殊的FPGA解決方案而非折衷的最佳化方式。OneSpin製造獨立的360 EC-FPGA，特製方案用來滿足這種需要。該等價校驗器可以和已設立的FPGA匹配，並且保證了設計品質。