首页  资讯  商机   下载  拆解   高校  招聘   杂志  会展  EETV  百科   问答  电路图  工程师手册   Datasheet  100例   活动中心  E周刊阅读   样片申请
EEPW首页 >> 主题列表 >> 形式验证

形式验证 文章 进入形式验证技术社区

Codasip携手西门子打造RISC-V领域最完整形式验证

  • 处理器设计自动化领域的领导性企业Codasip近日宣布:通过采用西门子集团Siemens EDA的OneSpin IC验证工具,扩大了其形式验证解决方案的可用工具范围,以进行全面和彻底的处理器测试。Codasip不断在处理器验证方面投入巨资,以再接再厉为业界提供最高质量的RISC-V处理器半导体知识产权(IP)。Siemens EDA的OneSpin工具提供了一个先进且无比强大的验证平台,用以解决关键的芯片完整性问题。OneSpin是极为先进的形式验证工具,适用于汽车和其他高完整性处理器应用,能以最少的设
  • 关键字: Codasip  西门子EDA  RISC-V  形式验证  
共1条 1/1 1

形式验证介绍

您好,目前还没有人创建词条形式验证!
欢迎您创建该词条,阐述对形式验证的理解,并与今后在此搜索形式验证的朋友们分享。    创建词条

热门主题

树莓派    linux   
关于我们 - 广告服务 - 企业会员服务 - 网站地图 - 联系我们 - 征稿 - 友情链接 - 手机EEPW
Copyright ©2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《电子产品世界》杂志社 版权所有 北京东晓国际技术信息咨询有限公司
备案 京ICP备12027778号-2 北京市公安局备案:1101082052    京公网安备11010802012473