2018年5月4日，全球第一大芯片自動化設計解決方案提供商及全球第一大芯片接口IP供應商、信息安全和軟件質量的全球領導者Synopsys（NASDAQ：SNPS）宣布，智能處理器領域的全球領導廠商寒武紀已經為其云端智能處理器芯片采用Synopsys的HAPS?原型驗證解決方案。Synopsys的HAPS-80可提供出色的性能、容量及可擴展性，支持寒武紀及其客戶更快完成軟件開發和系統驗證任務。

寒武紀CEO陳天石表示：”隨著智能處理器產品研發的日益復雜化，以及需要協同驗證的軟件數量的成倍增加，我們需要一種高性能原型驗證設備來執行實際驗證。Synopsys的HAPS-80可提供執行復雜軟件測試和實際接口測試所需的性能和可擴展性，可讓我們更快地向客戶交付寒武紀的智能處理器產品，也讓我們的客戶在寒武紀的智能平臺上提早開發軟件生態和解決方案。”

HAPS-80致力于加速整個驗證和軟件開發周期和縮短上市時間。此次寒武紀在上海發布的新一代機器學習處理器云端智能芯片MLU100通過使用HAPS-80，能夠加快其軟件和系統驗證迭代速度。HAPS-80的遠程訪問功能，也使得寒武紀軟件人員能夠持續進行不間斷軟件測試。HAPS-80兼具出色性能、快速構建和調試能力，可支持寒武紀最大程度地提高測試周期的執行速度并加速其智能處理器產品的客戶交付過程。

Synopsys中國董事長兼全球副總裁葛群表示：“新興行業的發展迫切地需要一款高性能原型設備來驗證其SoC的功能和性能。伴隨著云計算以及數據中心對算力要求的日益提高，寒武紀此次推出的新一代云計算方案可大幅提升云計算的性能。我們將繼續與寒武紀緊密合作，提供先進的產品，加速系統驗證，從而讓寒武紀新一代的智能處理器能夠更快地投入市場。”