Onespin是領先的EDA解決方案提供商，其360系列產品爲FPGA形式化驗證工具。它以強大、高性能的形式化驗證引擎爲基礎，能夠覆蓋自動設計分析到高級屬性檢查以及邏輯等效性驗證，幫助構建功能正確，安全，可靠、可信賴的系統。
OneSpin 360™2020.2.0版本現已準備就緒，該版本包括功能和性能方面的改進。新增與增強的功能有：
● 新的編譯器和優化程序：這些改進了工具所有部分的性能，包括更快的工具啓動，設計編譯和GUI交互。
● 新的FSM指示器：如下所示，此新指示器提供了更高級的界面來調試和理解FSM。它允許按狀態過濾狀態，並且能夠交互式地自定義狀態佈局。
● 新的形式化引擎：新引擎在履行設計限制的同時，其行爲就像是隨機模擬器。它可以很好地按順序解決深度屬性，並且在某些屬性上已證明比現有引擎快300倍以上。與以前的默認引擎設置相比，它還可以在屬性檢查上並行運行，可檢查的屬性數量增加了10倍以上。
● 對SystemC附加構造的支持：擴展的構造支持包括自動插入等待狀態以打破循環。
新版發行的具體內容如下：
OneSpin 360™常用功能的新功能
▷ 支持VHDL物理類型“時間”。
▷ SystemVerilog類支持已得到改進。
▷ SystemC現在支持C++ 14，包括std::array和std::tuple。所有從C++到14的語法改進，例如SCIN < ScIt< 10 >的雙角括號也可用。
▷ 大大提高了編譯命令的運行時間，運行效率的改善高達幾個數量級。
圖形用戶界面中的新功能
▷ 從2020.2版本開始，FSM表中的狀態可使用拖放手勢。手勢生成的是所有onespin shell命令可接受狀態的字符串類型名稱。
▷ 通過上下文菜單功能增強了屬性調試器。自該版本發佈以來，信號可以被跟蹤，添加到波形中或在其他查看器中顯示。
▷ 從此版本開始，打開代碼查看器後，調試器的響應能力明顯包括了新的觸發器類別。信任問題管理器中的問題現在可以從視圖中排除與/或導出到CSV。狀態機的死鎖情況現在會在信任問題管理器中報告。
OneSpin 360™設計驗證的新功能
▷ 新的隨機模擬引擎:disprover6。這個新引擎已添加到用於堅持和整數檢查的默認配置中。也可以添加到prove配置中。例如:“check -prover_exec_order {{approver2 disprover6}} my_property”。
▷ 現在可以直接創建SVA模塊，而無需使用create_sva_module -no_read_sva讀取。
▷ 改進了截斷和固定溢出檢查的顯示名稱。例如：“ @ truncation @@ / local/TEST/dut.sv@16：1”到“ truncation_check_1”。
▷ 覆蓋關閉加速器（CCA）應用程序已增強了與受支持模擬器的集成。
▷ FPU應用程序現在支持生成溢出異常以轉換爲整數。
▷ 處理器架構和驗證應用已發佈。
▷ 信任評估平臺（TAP）應用程序具有以下增強功能：默認情況下，不會報告冗餘分配帶來的可靠性問題。運行analyze_trust -category reliability_assign指令以觀察問題。信任問題管理器現在已自動啓動。如果查看器關閉，則可以使用launch_trust啓動報告視圖，新命令export_trust可以用於生成CSV文件以進行脫機處理/分析，analytics_trust包括新的觸發器類別。可以將信任問題管理器中的問題排除在視圖之外與/或導出到CSV。
360 EC-FPGA的新功能
▷ OneSpin 360™現在包括針對以Max 10目標器件爲目標的Quartus Prime Standard™實施流程的全面綜合驗證支持。
▷ 通過Virtex、Kintex和Zynq系列芯片對Xilinx Vivado的綜合驗證支持現在包括對狀態的自動映射，其中Xilinx Vivado™生成的netlist名稱依賴於分配的範圍。此外，OneSpin 360™ 現在已經改進了分佈式ram的狀態映射，比如RAM32M和RAM64M內存塊。
▷ OneSpin 360™的新指令analytics_clock_mapping，可通過查找映射到非時鐘的時鐘來幫助用戶確定錯誤的設計設置。
▷ OneSpin 360™具有一項新功能，實現相同功能的映射RAM會被自動黑盒，這是一個抽象的概念，它可以顯著提高可伸縮性。
▷ OneSpin 360™現在提供工具認證套件與實施流一起使用，該實施流是基於Synopsys Synplify™（G-2012.09A-SP4版本）進行合成和MicroChip Libero IDE™(9.2版本)反熔絲芯片(SX-A™、eX™、MX™和Axcelerator™系列)。
OneSpin 360™常用功能的已修復問題
▷ 修正了在調整FSM表格的大小期間可能偶爾發生的顯示問題。
▷ 修復了一些窗口可能被縮小爲零的問題。現在，所有窗口和選項卡都具有最小尺寸。
▷ 新的FSM可視化GUI。更好的FSM氣泡默認設置以及交互式重新排序。可用的過濾器可以更好地可視化狀態。
侷限性
▷ Windows版本不支持OneSpin 360 DV的並行驗證。這意味着儘管驗證器並行工作，但不支持多個斷言的並行運行(set_ check_option -local_processes)。也不支持通過網絡進行證明分佈(set_ check_option -parallel network)。這些選項被接受但被忽略。此外，Windows版本不支持GUI中的HTML選項卡。對於生成HTML輸出的應用程序，如quantify或visualize_fsm，需要一個外部瀏覽器。
▷ 由於Windows平臺上不存在Verdi™，因此Windows版本不支持在Verdi中進行調試或從FSDB讀取初始狀態。
▷ 如想要在Windows上驗證SystemC，需進行64位Cygwin的最新版本安裝。此外，軟件包mingw64-x86_64-gcc-g ++必須安裝在7.4.0版本中。
▷ 如在Linux系統上驗證SystemC，必須安裝軟件包libstdc ++-devel。
-版權所有，抄襲必究-
更多信息： http://www.softtest.cn/