（全球TMT2021年3月29日讯）正确功能CPU构建和片上系统执行设计验证产品供应商Valtrix Systems和可定制RISC-V^®嵌入式处理器IP领先供应商Codasip今天宣布，两家公司将合作验证基于RISC-V的系统。

此次合作致力于将Valtrix STING产品添加到Codasip广泛的处理器验证方法中。STING的设计验证功能完美适用于验证处理器，因为它能够在多个待测设备环境中生成便携式自检激励信号，并且允许用户使用其测试激励编程架构来执行架构式和微架构式功能。

Codasip综合使用Codasip Studio、内部工具和第三方工具进行处理器验证。例如，通过专用随机模式生成和定向测试，处理器可进行部件级验证。除内部程序生成器之外，架构测试还可用于最高层级。一致性检查工具可确保黄金参考和RTL之间的相同执行。同时，还采用形式技术来确保质量。使用此次合作中的Valtrix STING产品为Codasip的RISC-V处理器又增加了一级测试。