VERIFICATION

关注1人关注

我要报错

Cadence以1亿7千万美元现金收购Jasper

益华计算机(Cadence Design Systems)宣布签署最终合约，以大约1亿7,000万美元现金收购形式分析(formal analysis)解决方案领导供货商 Jasper Design Automation 。至2013年12月31日为止，Jasper拥有约2,400万美元现金

半导体
2014-04-28

CADENCE SoC VERIFICATION APPS
Cadence宣布收购形式分析方案供应商Jasper

益华电脑(CadenceDesignSystems)宣布签署最终合约，以大约1亿7,000万美元现金收购形式分析(formalanalysis)解决方案领导供应商JasperDesignAutomation。至2013年12月31日为止，Jasper拥有约2,400万美元现金、约当现金

半导体
2014-04-28

晶片 CADENCE SoC VERIFICATION
Synopsys发布Verification Compiler验证编译器使产能提升3倍

下一代的创新软件为完整验证流程提供革命性的技术支持亮点：· 包括静态和形式验证的新一代验证技术，使性能提升了5倍· 将仿真、静态和形式验证，验证IP(VIP)、调试以及覆盖率技术完整地集成到同一个产

电子设计自动化
2014-03-24

编译器 SYNOPSYS COMPILER VERIFICATION
Mentor借助仿真就绪型Verification IP为MIPI产品验证加速

Mentor Graphics公司(纳斯达克代码：MENT)日前宣布，MIPI协议验证IP(VIP)适用于其最新一代Veloce®系列硬件仿真平台。这使工程师们能详尽地测试包括一个或多个在其SoC上的MIPI协议接口的被测设备(DUT)，且执行验证

消费电子
2013-09-22

仿真 MIPI MENTOR VERIFICATION
称重传感器专业术语汇总

对于称重传感器来说很多的用户对于一些关键术语往往是摸不着边际，以下就为大家列出一份详细的称重传感器专业术语，希望能够让大家更好的认识和了解称重传感器：重量： Weight是质量习惯上的别名。物体的重量是它的

工业控制
2012-09-20

称重传感器 DEVICE WEIGHING VERIFICATION
S2C推出原型验证产品TAI Verification Module

21ic讯 S2C日前宣布他们已经开发了一种原型验证产品，即TAI Verification Module（专利申请中）。它允许使用者通过一条x4 PCIe Gen2通道到连接FPGA原型中的用户设计和用户的电脑，使得用户能够使用大量数据和测试向量

电子设计自动化
2011-06-07

FPGA AI MODULE VERIFICATION

VERIFICATION

Cadence以1亿7千万美元现金收购Jasper

Cadence宣布收购形式分析方案供应商Jasper

Synopsys发布Verification Compiler验证编译器使产能提升3倍

Mentor借助仿真就绪型Verification IP为MIPI产品验证加速

称重传感器专业术语汇总

S2C推出原型验证产品TAI Verification Module

相关标签

关注此标签的用户(1人)

热门活动

课程视频