您现在的位置是：首页 > 科技网站首页科技

2020年RISC-V峰会上展示针对RISC-V®处理器的独特的，由覆盖驱动的验证解决方案。

Axiomise为RISC-V设计了一个自动化的形式验证解决方案，该解决方案通过形式证明而非模拟来证明合规性测试。使用最新的抽象技术，Axiomise构建了一个按钮式正式验证解决方案，以实现三个目标-捕获错误，证明错误不存在以及采用任何形式验证的度量驱动覆盖解决方案的签名设计市场上的工具。使用他们的formalISA®应用程序，Axiomise可以根据RISC-V国际组织发布的ISA来实现ISA遵从性和完整的功能验证。作为构建该应用程序的一部分，Axiomise测试了多个内核并广泛验证了OpenHW CV32E40P处理器。

“ Axiomise建立了一个新的覆盖驱动的方法，该方法利用覆盖的六个维度来提供从需求到验证计划以及回归的完整地图。我们使用我们的应用来正式验证CV32E40P。目标是确保不会遗漏错误， testbench可以提供高质量的结果，这些结果在供应商中立并且可以在动态仿真中重现。” Axiomise创始人兼首席执行官Ashish Darbari博士说。

该formalISA应用在几个小时内产生的证据，采用了按键式流程，并与任何形式验证工具的工作原理。它提供了广泛的证明结果和涵盖范围，超出了任何一种工具所能达到的范围。Ashish Darbari博士将在太平洋标准时间12月9日上午11:30在RISC-V峰会上的题为“覆盖驱动的RISC-V ISA符合性正式验证”的论文中介绍该解决方案的关键方面以及CV32E40P验证所获得的结果。

“ Axiomise的敏捷性和结果的质量给我们留下了深刻的印象。通过使用他们的formalISA®应用程序和来自不同EDA供应商的正式验证工具，Axiomise能够在RTL中发现错误，并为端到端的错误提供了详尽的证明。证明，并在几个小时之内经常获得覆盖率分析，” 说里克·奥康纳，总裁兼首席执行官，OpenHW集团。