历史上的今天
返回首页

历史上的今天

今天是:2024年09月06日(星期五)

正在发生

2018年09月06日 | 新思科技推出回归模式加速器

2018-09-06

新思科技(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技术的研发扩展到验证流程和方法中,从而加快产品上市速度。”


推荐阅读

史海拾趣

Allied Controls Incorporated公司的发展小趣事

Allied Controls Incorporated(ACI)是一家专注于设计和制造温度传感器和控制器的公司,以下是其发展历程的五个相关故事:

  1. 创立和早期发展: Allied Controls Incorporated成立于1983年,总部位于美国新泽西州。公司的创始人是一群对温度控制技术充满热情的工程师和企业家。起初,ACI专注于为工业和商业应用提供高品质的温度传感器和控制器。通过不断提高产品质量和性能,公司逐渐赢得了客户的信任和好评,实现了良好的初期发展。

  2. 技术创新与产品优化: 随着市场需求的变化和技术的发展,ACI不断进行技术创新,并不断优化其产品线。公司投入大量资源用于研发新型温度传感器和控制器,以满足不同行业的需求。ACI的工程团队与客户紧密合作,根据客户的反馈和需求不断改进产品设计和性能,确保产品的质量和可靠性。

  3. 扩大市场份额: 随着业务的稳步增长,ACI逐渐扩大了其市场份额,涵盖了更多的行业和应用领域。除了工业和商业应用外,公司还开始进军医疗、航空航天、汽车和消费电子等领域。通过开发定制化解决方案和与行业领先企业合作,ACI成功地拓展了其市场份额,并在各个行业中树立了良好的声誉。

  4. 国际市场拓展: 除了在美国市场取得成功外,ACI还积极拓展国际市场。公司与全球各地的合作伙伴建立了稳固的合作关系,拓展了产品的销售网络。ACI的产品出口到欧洲、亚洲和其他地区,赢得了国际客户的青睐和认可。通过不断开拓国际市场,ACI进一步巩固了其在全球温度传感器和控制器领域的领先地位。

  5. 持续创新和发展: 作为一家技术驱动型公司,ACI致力于持续创新和发展。公司不断投入研发和技术改进,推出更加先进和高性能的产品。ACI的工程团队不断探索新的技术和解决方案,以满足客户日益增长的需求。通过不断创新和发展,ACI得以在电子行业中保持竞争优势,并为客户提供更加可靠和高效的温度控制解决方案。

极海半导体(Geehy)公司的发展小趣事

机顶盒,这一在现代家庭娱乐中占据重要地位的设备,全称为数字视频变换盒,它不仅是连接电视机与外部信号源的桥梁,更是数字电视技术与互联网融合创新的结晶。从广义上讲,机顶盒泛指所有与电视机连接的网络终端设备,它们能够接收来自有线电缆、卫星天线、宽带网络及地面广播的数字信号,并将其转换为适合电视播放的格式。

从功能划分上,机顶盒可分为数字机顶盒和网络机顶盒两大类。数字机顶盒主要负责数模转换,使模拟电视机也能收看数字电视节目;而网络机顶盒则进一步融入了互联网功能,提供更为丰富的互动娱乐体验,如在线视频、网络购物、社交媒体浏览等。近年来,随着技术的发展,网络机顶盒不断升级,支持高清、超高清视频播放,并集成人工智能技术,实现语音控制、智能推荐等功能,为用户带来更为便捷、智能的观影体验。

在技术层面,机顶盒的发展深受高清、超高清、云计算、边缘计算以及5G等新兴技术的推动。这些技术的应用不仅提升了机顶盒的性能,还为其内容的创新提供了强有力的支持。同时,随着市场竞争的加剧,机顶盒厂商不断优化产品设计,提升用户体验,以满足用户对高质量娱乐内容日益增长的需求。

综上所述,机顶盒作为家庭娱乐的重要组成部分,正通过技术的不断创新和市场的持续发展,为用户提供更加丰富、便捷、智能的观影体验。

Clulite公司的发展小趣事
  1. 创业初期
    • 描述Clulite公司的创始人或核心团队如何识别电子行业中的某个市场机遇。
    • 讲述他们是如何筹集初始资金,设立公司,并开发出第一款产品或解决方案的。
    • 可以提及公司在初创阶段面临的挑战,如技术难题、市场竞争等。
  2. 技术创新
    • 讲述Clulite如何通过研发创新,推出了一款颠覆性的产品或技术,从而获得了市场认可。
    • 详细描述这一创新过程,包括研发团队的努力、关键技术的突破等。
    • 提及这一创新如何帮助公司在市场上取得了竞争优势。
  3. 市场拓展
    • 描述Clulite如何逐步扩大市场份额,从地区市场走向全国乃至国际市场。
    • 可以讲述公司如何建立销售网络、与合作伙伴建立合作关系,以及参与行业展会等活动来推广品牌和产品。
    • 提及公司在市场拓展过程中遇到的挑战和应对策略。
  4. 品质管理
    • 讲述Clulite如何注重产品质量和客户体验,通过严格的质量控制流程来提升产品可靠性。
    • 描述公司如何建立完善的售后服务体系,为客户提供及时、专业的支持。
    • 提及这些举措如何帮助公司赢得了客户的信任和口碑。
  5. 可持续发展
    • 讲述Clulite如何关注环境保护和社会责任,推动公司的可持续发展。
    • 描述公司如何采取环保措施,减少生产过程中的污染排放。
    • 提及公司如何参与社会公益事业,回馈社会。

请注意,这些故事需要根据Clulite公司的实际情况进行调整和补充。如果你需要更具体的内容,建议查阅Clulite公司的官方网站、新闻报道或行业分析报告,以获取更详细的信息和数据。

Hoffman_Enclosures__Inc.公司的发展小趣事

面对客户日益多样化的需求,Hoffman提供了超过12,000种标准产品以及量身定制的解决方案。公司拥有一支专业的研发团队和完善的生产体系,能够根据客户的具体需求,快速设计出符合要求的电气机柜和温控产品。这种灵活的定制化服务不仅满足了客户的个性化需求,也进一步增强了客户对公司的信任和忠诚度。

冠图电子(GTL-POWER)公司的发展小趣事

Hoffman在追求企业发展的同时,也积极履行社会责任,致力于实现可持续发展。公司注重环保和节能,不断推出绿色、低碳的产品和技术。同时,Hoffman还积极参与公益事业,通过捐款、志愿服务等多种方式回馈社会。这些举措不仅提升了公司的社会形象,也促进了企业与社会的和谐共生。

以上五个故事展示了Hoffman Enclosures, Inc.在电子行业中的发展历程和关键节点,每个故事都体现了公司在技术创新、市场拓展、产品定制、标准制定以及社会责任等方面的努力和成就。

EZchip Technologies Ltd公司的发展小趣事

在激烈的市场竞争中,产品质量和客户服务是企业赢得客户信任的关键。EZchip一直秉承“质量第一、客户至上”的理念,注重产品的质量控制和客户服务体验。公司采用严格的生产流程和质量控制标准,确保每一件产品都符合高标准、高质量的要求。同时,EZchip还建立了完善的客户服务体系,为客户提供及时、专业的技术支持和售后服务。这些措施不仅提升了产品的竞争力,也赢得了客户的广泛赞誉和信任。

问答坊 | AI 解惑

做模拟有前(钱)途吗?迷茫。

请前辈介绍介绍刺激一下,好有干劲儿啊…

查看全部问答>

给大家欣赏下:便笺优盘

优盘跟便笺似乎扯不上什么关系。但是日本一家公司却将这两款产品整合到了一起。这款优盘的容量为2GB,上面还配有100张迷你便笺,方便人们随手记录电话号码等信息。 …

查看全部问答>

6410 WINCE系统跑到一半死了,问题不知道在哪里?急

Windows CE Kernel for ARM (Thumb Enabled) Built on Nov 24 2008 at 14:58:01 [OAL] ++OEMInit() [OAL] S3C6410_APLL_CLK   : 532000000 [OAL] ARMCLK : 532000000 [OAL] HCLK   : 133000000 [OAL] PCLK   : ...…

查看全部问答>

在Win CE下使用net use命令怎么输入密码?

我使用的是Win CE 5.0系统,想用net use 命令来访问局域网共享资源。 MSDN中对此的格式说明是: net use [|*] [] [/user:] [/d] 我按照上面的格式输入:net use ee \\\\ll\\filename /user:hf,然后就会弹出一个对话框,如下图: 若共享资源设 ...…

查看全部问答>

求助:xilinx ise 6.2i安装后发现问题

我安装xilinx ise时所有选项都全部选择了,过程中就有跟什么usb有关的信息 不知为何意 然后ingore 一路next.完成后发现\"对象名已存在\"提示,接着无论怎样 重启后计算机再也无法识别usb的鼠标和键盘了 只有重新插拔后才能识别 将ise卸载后 同时删除 ...…

查看全部问答>

LPC1114 MDK工程模块下载及注意事项。

       最近准备用LPC1114做《智能能家居系统》的分控部分,很多人多提出问题,感觉用LPC1114还不如用51做。我想可能是大家对LPC1114不熟悉,所以有点畏惧,其实个人认为,LPC1114比51更方便,不需要编程器或仿真, ...…

查看全部问答>

单片机外围电路设计 pdf

单片机外围电路设计 很全面的教材…

查看全部问答>

谁知道怎么在Quartus II8.0中如何自定义UDA1341TS芯片的L3接口核

在Cyon II中的EP2C35F672C8下 利用UDA1341TS进行音频读取回放的项目。求助…

查看全部问答>

坛里有用MRF24J40做ZIGBEE的吗?

准备用MRF24J40做ZIGBEE系统,MCU部分采用其他厂家的,问题在1、底层协议要自己编写,感觉没有头绪;2、MRF24J40通信距离大概是多少呢,之前的其他厂家距离都不是很远<100米。…

查看全部问答>

求助 怎么编辑 Altium Designer 元件库和封装库 文件?

在网上下载了一下 Altium Designer的 元件库和封装库,可是经常会出现问题。 我想重新编辑一下这些库,然后改成自己的?库文件的后缀是 .SchLib和.PcbLib。 不知道该怎么编辑.SchLib和.PcbLib后缀的文件?谢谢!…

查看全部问答>