印度班加羅爾和德國慕尼黑2021年3月29日 /美通社/ -- 正確功能CPU構建和片上系統執行設計驗證產品供應商Valtrix Systems和可定制RISC-V®嵌入式處理器IP領先供應商Codasip今天宣布，兩家公司將合作驗證基于RISC-V的系統。
此次合作致力于將Valtrix STING產品添加到Codasip廣泛的處理器驗證方法中。STING的設計驗證功能完美適用于驗證處理器，因為它能夠在多個待測設備環境中生成便攜式自檢激勵信號，并且允許用戶使用其測試激勵編程架構來執行架構式和微架構式功能。
Valtrix首席執行官Shubhodeep Roy Choudhury表示：“復雜CPU和片上系統的執行在提交給最終用戶之前需要進行徹底的驗證。STING提供一種功能強大且經過充分驗證的設計驗證方法，用于測試RISC-V特性和擴展功能的架構合規性和功能正確性。我們非常自豪能與Codasip合作，利用STING為他們的工程團隊提供驗證需求支持。”
Codasip驗證總監Philippe Luc表示：“Codasip通過進行嚴格的驗證以確保其處理器IP產品的質量。Codasip在其驗證戰略中始終采用多種方法，與Valtrix合作和使用STING工具可為處理器激勵提供另一種補充方式。STING采用市場上的一種獨特方式進行測試，可幫助我們在產品發布前發現錯誤。”
Codasip綜合使用Codasip Studio、內部工具和第三方工具進行處理器驗證。例如，通過專用隨機模式生成和定向測試，處理器可進行部件級驗證。除內部程序生成器之外，架構測試還可用于最高層級。一致性檢查工具可確保黃金參考和RTL之間的相同執行。同時，還采用形式技術來確保質量。使用此次合作中的Valtrix STING產品為Codasip的RISC-V處理器又增加了一級測試。
