牛津大学,英国,2021年7月19日治之软件有限公司RISC-V处理器验证技术的领导者,宣布最新的更新riscvOVPsimPlus支持批准P附近扩展和架构验证测试套件。P(或包装SIMD / DSP)扩展是一个重要的除了模块化RISC-V ISA的灵活性(指令集架构);它支持实时数据处理应用程序的主处理器管道不需要相关的协同处理器的低效率。处理器硬件验证,一个基本的测试套件有助于确保实现一个基本的软件兼容性的新P水平扩展作为参考开发人员编写规范的解释。
riscvOVPsimPlus是一个流行的免费国际空间站(指令集仿真器)信封模型,可以配置为覆盖所有批准RISC-V规范和标准的扩展。还包括几种架构验证测试套件,它形成一个基本的测试计划软件兼容性规范中定义。治之模型作为开源和Apache 2.0许可下提供灵活的开源许可证。提供所有模型、虚拟平台和示例模型通过开放虚拟社区平台网站www.OVPworld.org。治之商业仿真技术和产品是基于公众免费开放标准OVP api。
的治之RISC-V架构验证测试套件集合的测试侧重于具体ISA扩展提供基本的指令执行的测试和使用的全套操作数与一组代表数据值。他们不能代替完整详细的测试套件设计验证但提供详细的体系结构的不同部分覆盖报告规范测试。当前测试套件OVP网站上免费发布现在包括P SIMD / DSP, K-crypto, v, B-bitmanip, F, D,我,M,和C。
“灵活性的框架内RISC-V ISA的兼容性是必不可少的基础,”说Chuanhua Chang,安第斯山脉科技公司主席RISC-V国际P扩展任务组。“RISC-V P扩展定义了一组丰富的整数SIMD / DSP指令操作在现有整数寄存器内支持复杂的数据处理实时应用程序的约束。但是,硬件规范仅仅是开始,采用和成功取决于软件生态系统,这是支持与参考模型和测试套件从治之。”
”结合SIMD RISC-V ISA内/ DSP功能提供了理想的平衡性能、灵活性和效率,”说吴魏,PLCT实验室,在ISCAS副RISC-V国际P扩展任务组。“治之RISC-V参考模型提供了理想的起点,探索和开发软件算法基于新RISC-V P扩展。”
“治之模拟技术和RISC-V参考模型是在活动中使用的一些最复杂的RISC-V验证项目,”说首席执行官Simon Davidmann治之软件有限公司。“RISC-V正在改变设计过程可以开始新的设计勘探没有许多传统的障碍。采用riscvOVPsimPlus与新RISC-V P规范的扩展支持帮助提供澄清边界作为创新新的处理器设计的有用指南。”
关于RISC-V处理器验证的IP
免费的riscvOVPsimPlus包包括测试套件和功能覆盖率分析现在在OVPworld可用www.ovpworld.org/
RISC-V处理器验证的IP,示例测试长椅和任何客户的测试套件和规则的商业解决方案。和规则也为开发者提供了解决方案的更高级的RISC-V设计,需要多核,或自定义指令支持和先进的验证技术。治之还提供丰富的模型库,用于早期的虚拟平台的软件开发和硬件验证,包括持续集成和回归方法在使用虚拟试验农场,加上支持混合验证平台与硬件模拟器提供的节奏钯,西门子EDA快速地,Synopsys对此瘤牛。
治之模拟技术和参考模型支持的全谱RISC-V处理器验证需求从基本功能测试、程序规范合规,通过最新的覆盖率驱动的验证,对吧step-and-compare流。的step-and-compare方法用于复杂的设计包括异步事件,当集成到一个UVM SystemVerilog试验台,为有效的调试和分析提供一个无缝的环境。了解更多关于RISC-V验证选项,访问www.imperas.com/riscv。
对治之
治之RISC-V处理器模型的领先供应商,硬件设计验证的解决方案和软件仿真的虚拟原型。和规则,以及开放虚拟平台(OVP),促进开源模式可用频谱的处理器,IP供应商,CPU架构,系统IP和参考平台模型从简单的单核心处理器和系统的裸金属平台完全异构多核系统引导SMP Linux。所有的模型都可以从治之www.imperas.com和开放虚拟平台(OVP)的网站。