林忆莲穿透视装致敬麦当娜| 蚂蚱| 素颜模样似大S(图)| 每月支付5万生活费| 莫少聪拘留期满今晨释放| 韩寒小学二年级作文曝光| 被曝演章子怡儿子| 常远身陷| 节目形式未定| 婚照曝光| 长相酷似父亲(图)| 与老萧经纪人网上掐架| 关之琳被曝400万买墓葬父| 大S无知错把光年当时间| 安吉丽娜-朱莉有望回归| 马3| 盛开| 刘德华五登春晚| 田丰| 自曝因失恋曾自残| 紧盯| 林志玲言承旭被曝7月28日秘婚| 皮特与朱莉9月婚礼细节外泄| 中国啦啦宝贝激情点燃热火| “波尔多篇故事最受好评| 第9季最新预告!佩妮和莱纳德结婚了| 金鹰节活动高圆圆于小伟均出席| 曝韩女星私生活混乱染性病| 小王子缺门牙扮鬼脸(图)| Makiyo湘莹做公益卖饼干| 46岁重新出发| 王菲撇老公单刀赴会| 导演回应票房爆棚| 李玉谈| 前夫家暴| 办部队集体婚礼| 完美声音| 赌王67岁长女何超英病逝| 内幕交易| baby晒美腿调皮称太长买不到裤子|

新闻中心

EEPW首页 > 智能计算 > 新品快递 > 形式属性验证性能预提高10倍,新思科技推出突破性机器学习技术

里皮亲挂帅国足2队 整合本土资源培养预备国脚

作者:时间:2018-10-22来源:电子产品世界收藏
在这辽阔的世界中有数不尽的美景等著大家收集,位于地中海巴利阿里群岛Ibiza便是其一,许多人把此地列为梦幻岛屿,希望能在一生中朝圣一次,如果你心中也是这么想的话,那不妨可以考虑看看今天要介绍的饭店-ParadisoIbizaArtHotel。

  推出一种回归模式加速器,其为基于人工智能(AI)最新形式的验证应用。作为VC Formal?解决方案的组成部分,VC Formal采用顶尖的算法,将设计和验证周期中的性能验证速度提高10倍。此应用还可加速形式属性验证,以便后续运行实现更好的形式收敛。回归模式加速器应用还能够在每日回归测试时显著节省计算资源,以验证复杂的芯片系统(SoC)设计,从而在过去无法实现的情况下运行形式验证。

本文引用地址:http://www-eepw-com-cn.zqxgt.com/article/201809/391614.htm

  意法半导体研发设计经理David Vincenzoni表示,“作为领先的集成设备制造商,意法半导体致力于提供创新的解决方案,推动智能驾驶和物联网(包括智能工业)的最新技术发展,因此,设计人员需要能够提供最佳性能、易用性和高质量结果的形式验证解决方案。新推出的VC Formal回归模式加速器应用能够稳定地提供数量级的性能优化,同时改进了我们设计模块上最复杂的System Verilog Assertions其他不确定属性的收敛。”

  日益复杂的SoC系统以及日益增加的上市时间压力对形式属性验证性能和吞吐量的持续创新提出了新的需求。新思科技VC Formal包含全面的正式应用程序,包括属性验证(FPV)、时序等效性检查(SEQ)、寄存器验证(FRV)、形式覆盖率分析器(FCA)、连通性检查(CC)和属性自动提取(AEP),这些为意法半导体的多种不同应用提供了更快的属性收敛。结合新思科技VCS?功能验证解决方案的VC Formal和Verdi?自动调试系统的原生集成使设计和验证团队能够轻松利用形式技术,并自动对形式结果进行根本原因分析。此外,VCS强大的覆盖引擎在VC Formal中的原生集成有助于将形式分析轻松插入到现有的验证环境中。

  新思科技验证部门Manish Pandey表示,“已经成为前沿设计验证和解决高度复杂的强大技术。我们与意法半导体等行业领导者长期合作,为先进的SoC提供全面的验证解决方案。通过这些合作,我们正在将AI技术的研发扩展到验证流程和方法中,从而进一步加快产品上市速度。”



推荐阅读

评论

技术专区

关闭
遭厂商起诉索赔230万 后期制作 暂没打算当未婚妈妈 蒋方舟方文山亮相 8月22-28日一周美剧播出时间表 小S自曝大女儿想杀二女儿 领证结婚 地方台 曝周杰伦昆凌6月关岛完婚 孙兴被曝吸毒时间很长
知情人曝是炒作手段 坠机 郝蕾戛纳轻松归来 钱德勒莫妮卡真在一起了 《刑事侦缉档案》 情景剧再现生机 全智贤像男生 白人版李宗瑞案 编剧六六暗示已离婚 称坚持吃早餐很重要 张馨 范冰冰周迅携新剧领跑 黄晓明陈乔恩倾城拥抱(图)