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的功能和性能。伴随着云计算以及数据中心对算力要求的日益提高，寒武纪此次推出的新一代云计算方案可大幅提升云计算的性能。我们将继续与寒武纪紧密合作，提供先进的产品，加速系统验证，从而让寒武纪新一代的智能处理器能够更快地投入市场。”