新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍
vc formal回归模式加速器实现更快的形式收敛。
2018年9月6日，中国 北京—— 新思科技（synopsys， inc.，纳斯达克股票市场代码： snps）宣布，推出一种基于人工智能（ai）的最新形式验证应用，即回归模式加速器。作为新思科技vc formal®解决方案的组成部分，vc formal采用最先进的机器学习算法，将设计和验证周期中的性能验证速度提高10倍。除了显著的性能提升，使用此应用还可加速形式属性验证，以便后续运行实现更好的形式收敛。回归模式加速器应用还能够在每日回归测试时显著节省计算资源，以验证复杂的芯片系统（soc）设计，从而在过去无法实现的情况下运行形式验证。
意法半导体研发设计经理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技术的研发扩展到验证流程和方法中，从而加快产品上市速度。”
上市时间
包含回归模式加速器的vc formal2018.09版本计划于2018年9月上市。
关于新思®
新思科技（synopsys， inc.，纳斯达克股票市场代码： snps）致力于创新改变世界，在芯片到软件的众多领域，新思科技始终引领技术趋势，与全球科技公司紧密合作，共同开发人们所依赖的电子产品和软件应用。新思科技是全球排名第一的芯片自动化设计解决方案提供商，全球排名第一的芯片接口ip供应商，同时也是信息安全和软件质量的全球领导者。作为半导体、人工智能、汽车电子及软件安全等产业的核心技术驱动者，新思科技的技术一直深刻影响着当前全球五大新兴科技创新应用：智能汽车、物联网、人工智能、云计算和信息安全。
新思科技成立于1986年，总部位于美国硅谷，目前拥有13000多名员工，分布在全球100多个分支机构。2018财年预计营业额31亿美元，拥有3000多项已批准专利，为美国标普500指数成分股龙头企业。
自1995年在中国成立新思科技以来，新思科技已在北京、上海、深圳、厦门、武汉、西安、南京、香港、澳门九大城市设立机构，员工人数超过1100人，建立了完善的技术研发和支持服务体系，秉持“加速创新、推动产业、成就客户”的理念，与产业共同发展，成为中国半导体产业快速发展的优秀伙伴和坚实支撑。新思科技携手合作伙伴共创未来，让明天更有新思！
如何遍历force多位宽信号的每一比特？
中兴通讯发布业界首个基于5G手机的边缘云远程渲染解决方案
摩托罗拉Capri系列现身WiFi认证网！不支持5G网络
物联网发展不平衡 对比eMTC国内更侧重NB-IoT
示波器最重要的三个参数
新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍
MAX5048C高电流MOSFET驱动器-高频开关电源的理想选择
全球公认最奇葩的六种发动机
边界小区EPSFB成功率下降的问题处理
半导体压力传感器原理_半导体压力传感器结构
在三极管中,如何判断发射极正偏,集电结反偏?
测量材料表面，就可以提升光学设计精确度？
智能镜面显示屏将会是一款让你上瘾的智能设备
利用MOD—BUS通信协议构建集散控制系统实现触摸屏与单片机的通信
领跑智能家居新赛道，Aqara全屋智能撬动万亿蓝海市场
构筑量化套利开放平台 阿尔法赠予数字货币投资者交易利器
苹果正研发一系列Apple Silicon，为明年做准备
英特尔锐炫GPU发展迅猛，从电竞赛到亚运会，探索更多可能
英特尔对于自动售货机的智能方案介绍
使用可编程振荡器生成和控制系统时钟
2018年9月6日，中国 北京—— 新思科技（synopsys， inc.，纳斯达克股票市场代码： snps）宣布，推出一种基于人工智能（ai）的最新形式验证应用，即回归模式加速器。作为新思科技vc formal®解决方案的组成部分，vc formal采用最先进的机器学习算法，将设计和验证周期中的性能验证速度提高10倍。除了显著的性能提升，使用此应用还可加速形式属性验证，以便后续运行实现更好的形式收敛。回归模式加速器应用还能够在每日回归测试时显著节省计算资源，以验证复杂的芯片系统（soc）设计，从而在过去无法实现的情况下运行形式验证。
意法半导体研发设计经理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技术的研发扩展到验证流程和方法中，从而加快产品上市速度。”
上市时间
包含回归模式加速器的vc formal2018.09版本计划于2018年9月上市。
关于新思®
新思科技（synopsys， inc.，纳斯达克股票市场代码： snps）致力于创新改变世界，在芯片到软件的众多领域，新思科技始终引领技术趋势，与全球科技公司紧密合作，共同开发人们所依赖的电子产品和软件应用。新思科技是全球排名第一的芯片自动化设计解决方案提供商，全球排名第一的芯片接口ip供应商，同时也是信息安全和软件质量的全球领导者。作为半导体、人工智能、汽车电子及软件安全等产业的核心技术驱动者，新思科技的技术一直深刻影响着当前全球五大新兴科技创新应用：智能汽车、物联网、人工智能、云计算和信息安全。
新思科技成立于1986年，总部位于美国硅谷，目前拥有13000多名员工，分布在全球100多个分支机构。2018财年预计营业额31亿美元，拥有3000多项已批准专利，为美国标普500指数成分股龙头企业。
自1995年在中国成立新思科技以来，新思科技已在北京、上海、深圳、厦门、武汉、西安、南京、香港、澳门九大城市设立机构，员工人数超过1100人，建立了完善的技术研发和支持服务体系，秉持“加速创新、推动产业、成就客户”的理念，与产业共同发展，成为中国半导体产业快速发展的优秀伙伴和坚实支撑。新思科技携手合作伙伴共创未来，让明天更有新思！
如何遍历force多位宽信号的每一比特？
中兴通讯发布业界首个基于5G手机的边缘云远程渲染解决方案
摩托罗拉Capri系列现身WiFi认证网！不支持5G网络
物联网发展不平衡 对比eMTC国内更侧重NB-IoT
示波器最重要的三个参数
新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍
MAX5048C高电流MOSFET驱动器-高频开关电源的理想选择
全球公认最奇葩的六种发动机
边界小区EPSFB成功率下降的问题处理
半导体压力传感器原理_半导体压力传感器结构
在三极管中,如何判断发射极正偏,集电结反偏?
测量材料表面，就可以提升光学设计精确度？
智能镜面显示屏将会是一款让你上瘾的智能设备
利用MOD—BUS通信协议构建集散控制系统实现触摸屏与单片机的通信
领跑智能家居新赛道，Aqara全屋智能撬动万亿蓝海市场
构筑量化套利开放平台 阿尔法赠予数字货币投资者交易利器
苹果正研发一系列Apple Silicon，为明年做准备
英特尔锐炫GPU发展迅猛，从电竞赛到亚运会，探索更多可能
英特尔对于自动售货机的智能方案介绍
使用可编程振荡器生成和控制系统时钟