FPGA形式化驗證工具OneSpin360™新版發佈

Onespin是領先的EDA解決方案提供商，其360系列產品爲FPGA形式化驗證工具。它以強大、高性能的形式化驗證引擎爲基礎，能夠覆蓋自動設計分析到高級屬性檢查以及邏輯等效性驗證，幫助構建功能正確，安全，可靠、可信賴的系統。 OneSpin 360™2020.2.0版本現已準備就緒，該版本包括功能和性能方面的改進。新增與增強的功能有： ● 新的編譯器和優化程序：這些改進了工具所有部分的性能，包括更

>>阅读原文<<