Verific获得Invionics平台;便携式刺激早期采用者释放;DAC;多模疾病预防控制中心;对安全性要求苛刻的MIPS的核心。
并购
Verific收购了Invionics”整个INVIO技术组合,添加一个高级编程接口与100年高级api的解析器平台大约2000低级SystemVerilog和VHDL的api。公司的一个研发小组也将加入Verific。
便携式刺激
的一个早期版本便携式刺激规范已公开。规范定义了一个标准的机制来验证意图和行为的规范,将可重用在目标平台上,允许测试生成的自动化。规范提供了一个全面的解释新的便携式刺激领域特定语言和c++类库。工作组将接受反馈和评论,直到星期五,2017年9月15日之前完成规范在2018年初发布。
导师扩大这项技术在其全部企业验证平台,提供了一个列表在DAC的便携式Stimulus-focused事件,包括验证学院会议。
Breker将展示实施标准的DAC以及两个新的预打包的应用程序用来测试多核ARMv8系统以及过渡序列在复杂的电源管理状态机。
在便携式刺激DAC,节奏将举办一些讨论和演示节奏剧院关注Perspec对标准的支持。
工具
真正的意图揭示了一个新的多模时钟域交叉(CDC)签字RTL设计的解决方案。据该公司介绍,Verix疾控中心提供一步分析和调试的操作模式在一个集成电路和采用新的体系结构多模分析静态意图验证技术。额外的产品将在未来雇佣新的验证架构。
在DAC,Teklatech是揭示新的时间优化特性的动态电压降工具,FloorDirector。
导师的Oasys-RTL Nitro-SoC和FormalPro数字实现和验证工具实现ISO 26262资格。
知识产权
想象力公布了一个高度可伸缩的64位MIPS CPU多处理IP针对安全至上的系统。该公司表示I6500-F核心能够推动人工智能技术,如cnn和款自主车辆,并验证满足ISO 26262和IEC 61508功能安全合规标准。Mobileye的即将到来的EyeQ5 SoC自主车辆基于I6500-F CPU。
艾弗里设计系统推出了DDR5支持DDR5 SoC的贵宾,内存控制器和DFI-PHY设计。该公司还拔开瓶塞VIP的MIPI I3CSM传感器接口规范,支持主人和奴隶设计验证,I3C规范版本1.0和I3C主机控制器接口(HCI) 0.5版草案。
Arasan首次亮相SD卡UHS-II IP核。专门优化区域和力量,IP是完全兼容SD协会v5.1和物理层v5.0。UHS-II PHY半或全双工操作,实现一种峰值带宽3.12 gbps或双向带宽1.56 gbps,在两线并行转换器接口。
Silab科技发布并行转换器IP核心提供对称10 gbps下一代无源光网络互连解决方案(其)。XGS-PON体育测试对硅遵守ITU-T G.9807.1“10-Gigabit-capable对称的无源光网络”标准。
数字
Achronix期待一个美好的未来,预测收入增长超过700%的同比2017年营收超过100美元。FPGA和eFPGA加速器公司2017年第一季度达到盈利。
交易
东芝采用Synopsys对此的上海广电基础形式验证工具的发展前沿汽车设备和存储产品,以性能、容量和易用性。
凤凰软件的平台综合光子电路基于correct-by-construction算法,OptoDesigner,就是现在集成与导师的Calibre允许直接在OptoDesigner Calibre验证运行。
|
|
|
|
|
|
|
|
|
留下一个回复