Codasip携手西门子打造RISC-V领域最完整形式验证_竞技宝测速站登录入口_竞技宝手机版官网
竞技宝测速站官网

行业动态

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

时间:   来源: 竞技宝测速站官网   浏览量: 138 次

  德国慕尼黑,2022年5月——处理器设计自动化领域的领导性企业Codasip宣布:通过采用,扩大了其形式验证解决方案的可用工具范围,以做全面和彻底的处理器测试。Codasip不断在处理器验证方面投入巨资,以再接再厉为业界提供最高质量的RISC-V处理器半导体知识产权(IP)。

  Siemens EDA的OneSpin工具提供了一个先进且无比强大的验证平台,用以解决关键的芯片完整性问题。OneSpin是极为先进的形式验证工具,适用于汽车和其他高完整性处理器应用,能以最少的设置和运行时间来验证设计实现。

  得益于其高质量的RISC-V处理器,Codasip在竞争对手中脱颖而出。目前,已经有20亿颗Codasip处理器IP内核投入到正常的使用中,其中大部分是面向一流客户,因此Codasip必须继续始终如一地提供最高质量的处理器IP。

  Siemens EDA芯片设计验证部门战略总监Neil Hand表示:“我们很高兴与Codasip合作,帮助确保其RISC-V处理器IP的高质量,并为我们共同的客户建立优化的解决方案。我们的OneSpin形式验证工具拥有世界一流的技术,包括OneSpin RISC-V验证解决方案,当它们与Codasip创新的RISC-V IP相结合,形成了帮助芯片设计人员快速将高质量产品推向市场的关键力量。”

  Codasip的首席营销官Rupert Baines评论道:“坦率地说,一些RISC-V IP在验证方面的糟糕情况令人震惊。研发人员对RISC-V IP质量的担忧合乎情理,这阻碍了它的采用。更高质量和经过形式验证的RISC-V IP将帮助它跨越鸿沟,并大规模地提高其采用率。”

  Codasip的验证总监Philippe Luc补充说:“我们为自己严格的验证方法和强大的内部验证团队感觉到很自豪。我们拥有极其彻底的内部测试方法,并结合了一流的第三方工具。作为其中的一部分,我们很高兴使用Siemens EDA的OneSpin技术,这是Codasip的重要合作伙伴,我们期待建立更紧密的和富有成效的合作伙伴关系。”

  关键字:引用地址:Codasip携手西门子打造RISC-V领域最完整形式验证

  西门子在近日的苏州创新峰会上宣布开始研发自主机器人,其全球自主机器人的研发由西门子中国主导。 得益于人工智能技术的发展,机器人已经从执行简单的重复性动作的固定式机器,演进成为可以有效的进行自主感知、学习和执行动作的智能系统。它们还可以与其他机器人及人类展开合作。 为何由西门子中国主导 中国是制造业大国,厂商对新装机器人有巨大的需求。根据2016年国际机器人联合会发布的世界机器人技术报告,到2019年,中国市场将占据全世界工业机器人销量的40%,成为全世界最大的机器人市场。 “以自主机器人为例,中国有最大的机器人市场,所以中国将主导我们在这一技术领域的研发。”西门子股份公司管理委员会成员、首席技术官博乐仁(Roland Busch)

  RISC-V架构被视为是继x86、ARM架构之后,中国芯片产业的第三条路,很多人认为,RISC-V架构可能是中国芯崛起的关键。 日前,第十届开源操作系统年度技术会议在北京举行,会上,全球首款RISC-V开发笔记本电脑ROMA正式对外发布,并默认搭载openKylin(开放麒麟)国产操作系统。 据了解,ROMA是由RISC-V基金会牵头,深度数智开发、鉴释科技调试的全球首款原生RISC-V开发笔记本电脑,可体验原生RISC-V开发及RISC-V软件ECO。 不过,此次会议上官方并未公布ROMA的具体参数,PPT仅公开了采用4核12/22nm处理器,4/8/16GB内存,未来还将支持ChromeOS等信息。 与Win系统

  兆易创新科技集团股份有限公司生态市场经理徐杰,日前在第三届滴水湖中国RISC-V论坛上推荐了公司第二款RISC-V MCU。 据介绍,兆易创新不仅是中国排名第一的Arm MCU供应商,在RISC-V领域同样引领着业界,曾成功推出了全球首个32位RISC-V通用MCU。 徐杰表示,目前RISC-V生态资源、开发环境方面相对薄弱,因此兆易创新除了产品创新之外,也先后做了很多工作加速RISC-V MCU应用的落地。 从产品角度来看,GD32F103是兆易创新2019年推出的全球首个RISC-V通用MCU,内核采用了芯来RISC-V IP,主频108MHz,同意法半导体的F103/303两个热门MCU的软硬件是完全引脚兼容。经

  生态上的建设 /

  西门子 近日赢得在华首个城市轨道交通 无人驾驶 项目,将为上海轨道交通18号线一期项目提供全自动无人驾驶车辆牵引系统的核心部件和关键技术。“赢得上海轨交18号线项目是西门子在中国城市轨道交通无人驾驶领域的首次突破,具有里程碑意义。”西门子(中国)有限公司执行副总裁、西门子中国主要市场国交通集团总裁荷骏飞(Frank Hagemeier)表示,“携手合作伙伴 北京纵横 机电技术开发公司,我们将为快速地发展的中国 城轨 无人驾驶市场提供更具竞争力的产品、技术和解决方案。”   根据项目合同,西门子将为该线节编组的全自动无人驾驶车辆提供包括牵引逆变器、辅助逆变器、列车网络控制管理系统在内的牵引系统相关部件及服务。由于该项目属于无人

  8 月 17 日消息,赛昉科技今日发布了两款自主研发的 RISC-V 处理器内核新产品:昉・天枢-90(Dubhe-90)与昉・天枢-80(Dubhe-80)。 据介绍,Dubhe-90 主打“极致性能”,是 Dubhe Max Performance 系列旗舰产品;Dubhe-80 主打“高能效比”,是 Dubhe Efficiency Performance 系列首款产品。两款产品也就是大家常说的 CPU 大小核。 与此同时,基于 Dubhe-90、Dubhe-80 以及赛昉科技片上一致性互联 IP—— 昉・星链-500(StarLink-500),赛昉科技发布了首个国产高性能 RISC-V 多核子系统 IP 平台,号称是全球

  大小核处理器子系统,性能比肩 ARM A76 / A75 /

  在日前召开的RISC-V峰会上,Esperanto Technologies的首席执行官Art Swift宣布了一款基于RISC-V的新型芯片,集成了基于RISC-V架构的近1100个低功耗内核,应用于机器学习。 Esperanto Technologies总部设在加利福尼亚州山景城,2014年成立,其目标是“使RISC-V成为AI和机器学习等计算密集型应用的首选架构。”Swift回顾了2017年的情境,当时Esperanto的创始人兼董事长Dave Ditzel在第七届RISC-V研讨会上提出了Esperanto的愿景。 在那个研讨会上,Ditzel设定了一个目标:“在单个设备上放置4000个甚至更多的内核”。 Ditz

  内核的机器学习芯片 /

  Codasip支持汽车制造商在创新和差异化能力方面实现突破 德国慕尼黑 - 2022年4月—定制RISC-V处理器半导体知识产权(IP)领域的领导性企业Codasip日前宣布: 已任命Jamie Broome先生为负责其全新汽车业务的副总裁。 Broome在半导体和复杂IP、SoC和汽车供应链等领域拥有20多年的经验,最近领导了Imagination Technologies的汽车业务部门,并负责管理从汽车制造商到一级供应商与ECO合作伙伴的整个行业体系。 Broome为Codasip带来了极为丰富的经验,覆盖了生态系统与行业关系,以及对市场、技术创新、机遇和趋势的战略洞察力——所有这些都很适合Codasip的技

  扩大汽车处理器团队并任命Jamie Broome为负责该业务的副总裁 /

  携手开发互联网电线日消息 英特尔和西门子周四宣布,双方将携手开发互联网电话(VoIP)新技术。 据路透社报道,英特尔和西门子表示,他们盼望进一步拓展互联网电话技术,为电信、金融和数字医疗保健服务提供商等企业客户打造通讯平台。 西门子企业系统事业部总裁Thomas Zimmermann说:“西门子对这次与英特尔的合作报很大希望。” 西门子希望在本月底前出售其企业系统部门,该部门致力于为大规模的公司客户打造通讯平台。 据悉,两家公司将要开发的技术将基于英特尔的双核芯片和堆栈式服务器,及西门子的HiPath 8000和OpenScape通讯技术。

  直播回放:Microchip 在 RISC-V 应用中实现 MultiZone™ 安全性

  直播回放: 国产芯 - 先楫800MHz RISC-V MCU高能秀,岂止控4只伺服电机

  【60块开发板!30份好礼!】STM32直播:多款新品发布、成功案例分享、解决方案解读

  MPS电机研究院 让电机更听话的秘密! 第一站:电机应用知识大考!第三期考题上线,跟帖赢好礼~

  有奖征文:邀一线汽车VCU/MCU开发工程师,分享开发经验、难题、成长之路等

  罗克韦尔自动化亮相2024中国自动化+数字化产业年会荣获自动化创新领域两项大奖(2024年3月15日,中国上海)昨日,作为工业自动化、信息化和 ...

  最新 imc FAMOS 2024数据分析软件 – 支持教育科研免费订阅、在线课堂

  全球先进工业测试工程师的首选2024年3月4日——Axiometrix Solutions工业测试集团旗下制造商imc Test & Measurement,发布了最新版imc ...

  米尔电子发布的瑞萨第一款MPU生态板卡——瑞米派(Remi Pi)自上市当天200套售罄,获得不少新老用户的青睐。为感谢大家的支持,米尔加推30 ...

  集微网消息,一颗芯片的产出需要经历扩散、光刻、刻蚀、离子注入、薄膜生长、抛光、金属化等成千上万道工序,任意环节的轻微偏差,都可能导 ...

  【中国,上海】2024年3月14日,消费电器核心零部件系统级解决方案供应商GMCC美芝、Welling威灵以“智能低碳 创享未来”为主题,亮相2024中 ...

  e络盟开售Traco Power 5-50瓦紧凑型封装TMPW系列产品

  聚焦AI,探析边缘智能新动向,研华AI on Arm合作伙伴会议开启报名!

  Q-16.000000M-HE7050/4-F-30-30-D-30-TR

  是德科技:五招教您最小化合格/不合格的误判风险在线直播预报名、看直播、填问卷、好礼相送!

  揭秘正确选择探头的5大要素 (泰克原装探头促销,高贵不贵,199元起)

  《CoolSiC英飞凌最佳的伺服驱动解决方案》白皮书下载

  传感器/仪表信息处理嵌入式系统PLC传动与执行工业通讯工控设备别的技术综合资讯能源管理节能减排工控百科工控论坛


上一篇:应用案例-电子

下一篇:格力电器新专利:提高机床加工精度的秘密武器