印度班加罗尔和慕尼黑2021年3月29日 /美通社/ -- 打造功能正确的 CPU 和单芯片系统实作的设计验证产品供应商 Valtrix Systems，以及居领先地位的客制化 RISC-V® 嵌入式处理器 IP 供应商 Codasip，今天宣布携手合作从事 RISC-V 型系统验证。
此次合作以运用 Valtrix STING 产品为基础，为处理器验证增加 Codasip 广泛的方法。STING 的设计验证能力完美符合验证处理器所需，其产生可携式自我检查刺激的能力可以运用在多个被测装置环境，让使用者可以运用其测试刺激程序设计架构落实结构与微结构特点。
“在将产品推出给终端使用者之前，复杂的 CPU 和单芯片实作需要彻底的验证”，Valtrix 执行长 Shubhodeep Roy Choudhury 说。“STING 提供强大可靠的设计验证方法，测试 RISC-V 特性与延伸的功能正确性。我们很荣幸与 Codasip 合作并以 STING 支持他们的工程团队的验证需求。”
“Codasip 实施严格的验证，确保其处理器 IP 产品的品质”，Codasip 验证总监 Philippe Luc 说。“Codasip 在验证策略方面一直采用多重模式，并与 Valtrix 合作使用 STING 工具提供处理器刺激的另一个辅助来源。STING 以市场绝无仅有的方式进行测试，并可以在我们的产品上市前协助找出程序错误。”
Codasip 采用内部工具 Codasip Studio 和第三方工具的组合验证处理器。例如，以专用的随机产生模式和引导测试进行组件层级的验证。在最上层，结构测试使用在最顶层的内部程序产生器。一致性检查程序确保黄金参考和 RTL 之间的相同执行。此外，为了确保品质，也采用了正式的技术。此次合作采用 Valtrix STING 产品，为 Codasip 的 RISC-V 处理器增加了另一个层级的测试。
关于 Valtrix 的 STING 设计验证工具
STING 是一款基于 RISC-V 的实作的设计验证平台。此平台可以配置为产生可携式裸机方案，其中包含结构上可自我检查的正确测试刺激，可在仿真程序、FPGA 原型、仿真软件或硅上启用。如需更多有关 Valtrix 的设计验证技术与产品的信息，请浏览 。
关于 Codasip
Codasip 雪铁龙的 RISC-V 处理器 IP 和高阶处理器设计工具，提供 RISC-V 开放 ISA 的所有优势与客制化处理器 IP 的独特能力给 IC 设计人员。Codasip 是 RISC-V 基金会的创会成员和基于 LLVM 与 GNU 的处理器解决方案的长期供应商，致力于嵌入式和应用程序处理器的开放标准。Codasip 于 2014 年成立，总部在德国慕尼黑，目前在欧洲拥有研发中心和遍布全世界的销售代表。如需更多有关我们的产品和服务的信息，请浏览 。如需更多有关 RISC-V 的信息，请浏览 。
媒体联络人：
Shubhodeep Roy Choudhury，Valtrix 执行长，
电子信箱：
Roddy Urquhart，Codasip 资深行销总监，
电子信箱：
相关链接 :
http://valtrix.in
