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

发布时间:2022-05-09  

 

更高质量的验证推动RISC-V IP的采用和构建发展动力

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

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

 

更高质量的验证推动RISC-V IP的采用和构建发展动力

德国慕尼黑,2022年5月——处理器设计自动化领域的领导性企业Codasip宣布:通过采用的 IC验证工具,扩大了其形式验证解决方案的可用工具范围,以进行全面和彻底的处理器测试。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使用Siemens EDA(前身为Mentor Graphics)作为其主要的EDA工具流。

Codasip于5月4日在圣克拉拉举行的Siemens EDA 上介绍了其使用OneSpin工具的经验,并将在5月12日于慕尼黑举行的Siemens EDA User2User2022会议上再次介绍其使用经验。

关于Codasip

Codasip提供领先的RISC-V处理器IP和高级处理器设计工具,为IC设计者提供RISC-V开放ISA的所有优势,以及定制处理器IP的独特能力。作为RISC-V国际组织的创始成员和基于LLVM和GNU的处理器解决方案的长期供应商,Codasip致力于为嵌入式和应用处理器提供开放标准。Codasip成立于2014年,总部位于德国慕尼黑,目前在捷克设有研发中心,法国和英国设有设计中心,大中华区设有分公司,销售代表遍布全球。有关我们产品和服务的更多信息,请访问,关于RISC-V的更多信息,请访问。

得益于其高质量的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使用Siemens EDA(前身为Mentor Graphics)作为其主要的EDA工具流。

Codasip于5月4日在圣克拉拉举行的Siemens EDA 上介绍了其使用OneSpin工具的经验,并将在5月12日于慕尼黑举行的Siemens EDA User2User2022会议上再次介绍其使用经验。

关于Codasip

Codasip提供领先的RISC-V处理器IP和高级处理器设计工具,为IC设计者提供RISC-V开放ISA的所有优势,以及定制处理器IP的独特能力。作为RISC-V国际组织的创始成员和基于LLVM和GNU的处理器解决方案的长期供应商,Codasip致力于为嵌入式和应用处理器提供开放标准。Codasip成立于2014年,总部位于德国慕尼黑,目前在捷克设有研发中心,法国和英国设有设计中心,大中华区设有分公司,销售代表遍布全球。有关我们产品和服务的更多信息,请访问,关于RISC-V的更多信息,请访问。

文章来源于:电子工程专辑    原文链接
本站所有转载文章系出于传递更多信息之目的,且明确注明来源,不希望被转载的媒体或个人可与我们联系,我们将立即进行删除处理。

相关文章

    域如何显示负数值? 答:在输入输出域里面设置''输出格式''为S99.99 默认的为999.999 ,  前面加一个S表示可以输入负号,然后把变量改成INT数据类型即可。 问:西门子博途V15软件......
    西门子plc单按钮启停的十种方法(博途1200/1500PLC);西门子博途1200/1500PLC单按钮启停控制10种设计方法 第一种: 第二种: 第三种: 第四种: 第五种: 第六......
    就要求更换调试电脑吧?可是没有很好的工具怎么实现很好的调试和维护呢? 况且里面的软件版本必须保持一致,即如果STEP7升级到V15,WINCC也必须升级到相应版本,否则无法使用;这种种问题对博途未来的发展形成了不小的障碍。 ......
    西门子博途S7-SCL结构化控制语言编程;【导读】结构化文本语言表面上与PASCAL语言很相似,但它是一个专门为工业操控运用开发的编程语言。最近几年结构化文本编程已经越来越盛行,使用结构化文本语言编程的人数已经超过了使用......
    西门子博途SCL:REGION:构建程序代码的步骤;说明 可以使用指令“构建程序代码”,在 SCL 块中构建程序代码并将其分为几个不同区域。 可按如下方式声明此指令: REGION <名称......
    西门子SCL高级语言之数据转换; (整数转浮点数 INT_TO_REAL) 我们在做项目中经常用到各种类型的数据,这就需要转换( CONVERT)指令来转换,由于博途......
    西门子博途LAD-( JMP ):若 RLO = "1" 则跳转;可以使用“若 RLO = "1" 则跳转”指令中断程序的顺序执行,并从其它程序段继续执行。目标程序段必须由跳转标签 (LABEL......
    西门子博途:如何在LAD联锁中记录信号状态;实际值或初始值记录以及 PLC 代码视图 中符号表的操作数列表均需遵循相同的既定顺序。 以下示例显示了如何在 LAD 联锁中记录信号状态以及如何在 HMI......
    如何用西门子博途软件电机驱动来进行变频器调试;本调试案例以博途V16版本来讲解,其它版本也是可以的,这个需要安装一个电机驱动名为“Startdrive”的驱动文件,这个需要对应相应的TIA版本,如下......
    西门子博途SCL:ROR:循环右移的方法;说明 使用“循环右移”指令,将参数 IN 的内容逐位向右循环移位,并将结果赋值给指定的操作数。参数 N 用于指定应将特定值循环移位的位数。用移......

我们与500+贴片厂合作,完美满足客户的定制需求。为品牌提供定制化的推广方案、专属产品特色页,多渠道推广,SEM/SEO精准营销以及与公众号的联合推广...详细>>

利用葫芦芯平台的卓越技术服务和新产品推广能力,原厂代理能轻松打入消费物联网(IOT)、信息与通信(ICT)、汽车及新能源汽车、工业自动化及工业物联网、装备及功率电子...详细>>

充分利用其强大的电子元器件采购流量,创新性地为这些物料提供了一个全新的窗口。我们的高效数字营销技术,不仅可以助你轻松识别与连接到需求方,更能够极大地提高“闲置物料”的处理能力,通过葫芦芯平台...详细>>

我们的目标很明确:构建一个全方位的半导体产业生态系统。成为一家全球领先的半导体互联网生态公司。目前,我们已成功打造了智能汽车、智能家居、大健康医疗、机器人和材料等五大生态领域。更为重要的是...详细>>

我们深知加工与定制类服务商的价值和重要性,因此,我们倾力为您提供最顶尖的营销资源。在我们的平台上,您可以直接接触到100万的研发工程师和采购工程师,以及10万的活跃客户群体...详细>>

凭借我们强大的专业流量和尖端的互联网数字营销技术,我们承诺为原厂提供免费的产品资料推广服务。无论是最新的资讯、技术动态还是创新产品,都可以通过我们的平台迅速传达给目标客户...详细>>

我们不止于将线索转化为潜在客户。葫芦芯平台致力于形成业务闭环,从引流、宣传到最终销售,全程跟进,确保每一个potential lead都得到妥善处理,从而大幅提高转化率。不仅如此...详细>>