- RISC-V的开放性允许定制和扩展基于 RISC-V 内核的架构和微架构，以满足特定需求。这种对设计自由的渴望也正在将验证部分的职责转移到不断壮大的开发人员社群。然而，随着越来越多的企业和开发人员转型RISC-V，大家才发现处理器验证绝非易事。新标准由于其新颖和灵活性而带来的新功能会在无意中产生规范和设计漏洞，因此处理器验证是处理器开发过程中一项非常重要的环节。在复杂性一般的RISC-V 处理器内核的开发过程中，会发现数百甚至数千个漏洞。当引入更多高级特性的时候，也会引入复杂程度各不相同的新漏洞。而某些类
- 关键字：
形式验证 RISC-V
- 处理器设计自动化领域的领导性企业Codasip近日宣布：通过采用西门子集团Siemens EDA的OneSpin IC验证工具，扩大了其形式验证解决方案的可用工具范围，以进行全面和彻底的处理器测试。Codasip不断在处理器验证方面投入巨资，以再接再厉为业界提供最高质量的RISC-V处理器半导体知识产权（IP）。Siemens EDA的OneSpin工具提供了一个先进且无比强大的验证平台，用以解决关键的芯片完整性问题。OneSpin是极为先进的形式验证工具，适用于汽车和其他高完整性处理器应用，能以最少的设
- 关键字：
Codasip 西门子EDA RISC-V 形式验证
形式验证介绍
您好，目前还没有人创建词条形式验证!
欢迎您创建该词条，阐述对形式验证的理解，并与今后在此搜索形式验证的朋友们分享。
创建词条
关于我们 -
广告服务 -
企业会员服务 -
网站地图 -
联系我们 -
征稿 -
友情链接 -
手机EEPW
Copyright ©2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《电子产品世界》杂志社 版权所有 北京东晓国际技术信息咨询有限公司
京ICP备12027778号-2 北京市公安局备案：1101082052 京公网安备11010802012473
