国微芯演讲预告——基于形式化的高效RISC-V验证方法-EsseFormal

作者：爱集微 08-17 11:37

来源：国微芯 #国微芯# #RISC-V#

6065

RISC-V的设计非常复杂，包含了大量的指令和功能模块，在开放的RISC-V架构下，用户自定义和扩展处理器架构及微架构后，在功能验证上使用传统的测试方法很难覆盖所有可能的情况。然而，形式化验证工具可以通过数学证明的方式验证设计的正确性，有效定位无法进行仿真的漏洞，覆盖极端漏洞到隐匿式漏洞，从而有效地发现各种类型的错误。

国微芯将于8月24日RISC-V中国峰会期间，发表《基于形式化的高效RISC-V验证方法》主题演讲，为大家系统性分析芯天成形式验证平台EsseFormal如何助力RISC-V验证的完整性和准确性，提高验证效率。

欢迎各位伙伴莅临现场，交流探讨。

THE END

责编：爱集微

来源：国微芯 #国微芯# #RISC-V#