FPGA相等检查解决方案

Microsemi和OneSpin解决方案已经宣布360年OneSpin等价性检查(EC)fpga验证解决方案现在完全支持Microsemi自由人芯片系统(SoC)设计流程。

等价验证检查已成为一个关键组件的高可靠性设计等安全关键部件,确保没有问题了在设计优化过程。OneSpin EC-FPGA产品巩固了Microsemi自由人的设计流程,以确保在设计细化的功能一致性高可靠性的设计,显著降低最终产品故障的风险。

“OneSpin解决方案创造了创新formal-based设计验证和等价性检查解决方案被用于完全兽医最安全的一些关键设计生产今天,”布鲁斯·韦说,副总统和Microsemi业务部门经理。“我们相信,通过包括等价性检查作为设计流程的一部分,我们将更好地满足客户的严格要求高可靠性的设计。”

安全系统平台经理埃里克Matusek西屋电气公司LLC说,“的Microsemi ProASIC3 FPGA是一个先进的逻辑系统的核心组件,并使用360年OneSpin等价性检查器是不可分割的一部分我们的核安全系统的FPGA开发过程。”

利用OneSpin和Microsemi等价性检查器的行业领先的设计流程,设计人员可以确定当他们实现最激进的设计流程优化以提高FPGA器件功耗,性能和面积利用率,他们不引入功能性错误。工具验证功能对等在寄存器传输级(RTL)代码和之前的网表FPGA下载,从而减少原型验证需求,确保不出现在最终的设备设计流程的bug。

“高可靠性是一个关键考虑设计师采用Microsemi设备和等价性检查的原因是一个重要的技术在这个流,“Raik Brinkmann博士说,OneSpin解决方案的总裁兼首席执行官。“鉴于我们自己的专业知识在这个领域,我们很高兴配合Microsemi流目标的船头上验证需求,可靠性高。”

360年OneSpin EC-FPGA验证的解决方案

OneSpin 360 EC-FPGA消除了在fpga设计flow-generated错误,支持复杂的顺序优化一个易于使用的解决方案,旨在加快进度、降低风险和提高产品质量。SystemVerilog,工具包括支持Verilog硬件描述语言(VHDL),EDIF和混合语言和运行在Linux和Solaris平台。它还支持Microsemi SmartFusion2 SoC FPGA,IGLOO2屋FPGA,ProASIC3和融合FPGA设备。

关于Microsemi SmartFusion2 SoC fpga

Microsemi SmartFusion2 SoC fpga的唯一地址的设备基本要求先进的安全、高可靠性和低功耗的关键工业、军事、航空、通信、医学应用。SmartFusion2本质上集成一个可靠的基于flash的FPGA结构,一个166兆赫(MHz)手臂CortexTM-M3处理器,先进的安全处理加速器,DSP块,SRAM eNVM和industry-required高性能通信接口在一个芯片上。

关于Microsemi IGLOO2 fpga

Microsemi IGLOO2 fpga提供LUT-based织物,5 g收发机,高速GPIO,块RAM,高性能内存子系统、分化和DSP模块、成本优化和权力架构。这种下一代IGLOO2架构提供高达5倍逻辑密度和织物性能比它的前辈和结合了三倍数量最高的非易失性闪存织物的通用I / O,5 g并行转换器作为PCIe端点接口和其他产品相比,其类。IGLOO2 fpga提供出色的功能集成加上低功耗,高可靠性和先进的安全。

AC电源插座http://www.cenxn.com