智能化加速标准和协议的更新并推动验证IP(VIP)在芯片设计中的更广泛应用

news2025/3/10 18:41:36

作者:Karthik Gopal, SmartDV Technologies亚洲区总经理

智权半导体科技(厦门)有限公司总经理

随着AI技术向边缘和端侧设备广泛渗透,芯片设计师不仅需要考虑在其设计中引入加速器,也在考虑采用速度更快和带宽更高的总线和接口来传送数据。在2025年初于拉斯维加斯举行的消费电子展(CES)上,相关行业组织宣布了两项显示接口技术的重大进展,即HDMI 2.2和DisplayPort 2.1b;此外,加上去年下半年刚刚推出的蓝牙6.0和Wi-Fi 7等协议,让许多无晶圆厂半导体公司忙于将这些标准和协议集成到他们的芯片中。

针对这些新发布的标准和协议,以及他们相对更早的版本,验证IP(VIP)已被证明是一种能够更快和更好地验证芯片设计的方法。对于一个精明的芯片设计验证工程师来说,VIP远远不仅是一个朗朗上口的缩略词,有经验的设计人员都知道验证IP是带有可重用验证组件库和预定义功能单元的验证流的支柱,用以加速验证工作的核签。

随着需要处理和传送大量数据的智能设备快速广泛普及,各种总线、接口、协议和标准都在快速进步,促使芯片设计人员去找到高效验证其设计的方法。现在是时候把验证IP(VIP)放在其工具箱的最上层了。本文诠释了为什么在今天的电子行业中更加需要使用VIP在验证环境中来改进调试、覆盖收敛和提升质量,以加快项目交付和增加投资回报,并减少芯片重新流片的风险。

1. 验证IP是验证流程的重要部分

验证一款布满了集成IP单元模块的复杂片上系统(SoC)设计的功能正确性是一项艰巨的任务,其中许多模块都基于复杂的行业标准接口协议。这就是为什么验证团队在他们的验证策略中导入验证IP,并将其视为验证流程的关键组件的原因。它确保了在调试、收敛覆盖和验证质量方面的改进,并减少了项目进度中的复杂环节。它为行业标准接口和对互连协议的支持创建了基础设施,并为测试/验证(DUT)项下的设计提供了可进行比较的已知参考。

无论使用什么工具,验证都是复杂的,并且估计会消耗项目资源的60-80%。用于复杂SoC的测试台需要各种验证IP来验证系统级功能,并通过生成特定于应用的数据流量和检查器来确认目标性能。

使用高质量的VIP可以使设计师不必成为多种协议的专家。VIP负责根据协议规范的细节来验证设计,这是很“繁重的工作”。它生成全面的测试方案,去刺激和验证不同的接口和标准总线协议,缩短了SoC的验证流程并增加测试覆盖率。它包括事务/序列、驱动、配置组件和特定接口的测试计划,以及连接到测试台上的DUT测试套件,以模拟或模拟IP或SoC设计。

VIP是符合行业标准的即插即用模块,通过生成特定于应用程序的数据流来验证系统级功能和目标性能。

2. 验证IP怎样工作?

VIP不是一种验证方法。它与通用验证方法(UVM)和开放验证方法(OVM)不同,UVM是一种用于构建测试平台的Accellera互操作性标准,OVM是一种方法和功能单元库。验证IP是在可用的标准验证方法(如UVM)中实现的有价值的组件。

VIP由可重用的验证组件库和预定义的功能单元组成,它们创建了一种基础设施来支持行业标准接口、SystemVerilog和SystemC硬件验证语言(HVL),以及像UVM这样的方法。高质量的VIP是独立于平台,可以跨所有方法和语言工作。

当然,一些VIP针对的是某一个模拟和/或仿真平台,而不是所有的商业平台。从模拟到仿真的转换可能是确有困难、耗费时日和大量资源。然而,一些供应商提供了与平台无关的VIP,它可以跨不同平台无缝地使用覆盖驱动的验证流,包括模拟、仿真、FPGA原型和形式验证。

用于仿真和FFGA原型的验证IP单元模块是具有完全API兼容性的、可进行逻辑综合的寄存器传输级(RTL)代码,可以将设计从模拟转移到仿真。这些VIP模块是内置的智能调试器,提供快速编译和系统级模拟运行时间,以及快速固件/软件开发。其基础设施框架或测试台附带刺激生成器、监视器、计分板/检查器和功能覆盖模型。

3. 很难为新的或修改的协议找到验证IP吗?

正如我们在本文一开始就提到了,近年来各个行业组织和标准机构为了在智能化时代抢占有利位置,都在加速推出或者修订新的协议和标准。立即找到支持这些新的或修订的协议或开放标准,或处理整个验证流程的VIP可能是一个挑战。开发新的或定制的VIP需要时间,并且可能无法在验证平台之间进行移植。通过开发专门的编译器,可以快速创建新的VIP或基于现有的VIP进行定制,帮助减少推出新的VIP或对现有的VIP针对新功能进行定制所需的时间。

一款先进的编译器可以为业界带来诸多好处。例如,作为全球领先的设计IP和验证IP提供商,SmartDV开发了一种高度创新和极为高效的编译器“SmartCompiler”。该编译器通过与SmartDV的标准和协议专家配合,就可以为新的协议和标准快速生成设计IP和验证IP,不仅速度大大快于人工开发模式,而且还避免了由人工开发引入的错误和风险。

当然,一些(但不是所有)VIP的编译速度可能很慢,而另一些可能只针对特定的验证语言和方法,而与其他语言和方法不兼容。平台独立性和可重用性也是需要考虑的问题;一个常见的抱怨是验证工程师难以分析和调试结果;此外,人工开发的VIP可能无法保持同等水平的性能、生产效率、易于调试的能力和可读性。

图片说明:一家第三方VIP供应商可以使用智能编译器来为一系列验证任务创建VIP,包括形式验证和可进行逻辑综合的事务处理器、流片后测试IP和设计IP,以及图中未包含的测试套件和文档。(来源:SmartDV)

在更高抽象层上编写的验证IP,即使用诸如SmartDV的SmartCompiler这种先进的智能编译器/生成器(见图)来生成的VIP的最终可部署版本,可以帮助开发者不必遇到这些抱怨。SmartCompiler这样的机器生成的VIP可以将代码质量和测试结果保持在事先确定的水平上,以有效地进行编译和执行。这样的VIP可以快速跟随和补充当今不断发展的标准与协议、以及硬件设计方法,该方法从更高层次的抽象编码设计规范生成RTL代码。

4. 一家验证IP伙伴具有极高的价值

VIP通常由第三方供应商提供,这些供应商活跃于网络、存储、汽车、总线、MIPI和显示协议等领域内的接口标准开发组织。他们比内部资源更有优势,因为他们能够验证功能的正确性以及行业标准的符合性。除了这些能力,像SmartDV团队中的这些标准专家都具有标准和芯片设计两个方面的专业知识。

但是,验证工程师必须对第三方供应商的VIP进行研究和评估。如果需要,他们需要了解为VIP使用和定制提供的技术支持。对于不同的情况,支持可能不完全一样,定制可能既昂贵又耗时。评估过程的另一个重要方面是确保第三方VIP解决方案与标准完全兼容,并覆盖整个验证流程。

在实际应用中,没有一种统一的验证IP解决方案可以去覆盖整个验证流程。实际上,该过程的不同步骤需要不同的验证IP;在VIP提供的验证覆盖类型中通常存在空白。例如,用于模拟的VIP可能并不是用于仿真、形式验证和/或甚至流片后验证的良好解决方案。而专业的VIP供应商可以填补相关空白。

一个曾经流行的经验认为,VIP的最佳来源是来自提供验证和仿真平台的同一供应商。这过去可能是真的,现在也可能不是真的。在一个竞争异常激烈的市场中,这些供应商的主要业务通常集中在构建验证环境所需的软件和硬件的开发和销售上,这并不是一个很容易的细分市场。所以虽然他们也提供VIP,但这并不是其技术和业务的核心焦点。相反,这是一项用于帮助和支持销售更昂贵的软件和硬件平台的投资。专注于开发和授权VIP的供应商通常提供更广泛的产品和更好的支持,诸如SmartDV这样的领先设计IP和验证IP提供商的产品组合中都有数百种IP产品。

由于各项测试需要覆盖一系列场景并生成相当数量的测试,创建测试套件以覆盖100%的协议可能是一项艰巨的工作。对于主要业务不是创建VIP,而是为其EDA等工具创建支持解决方案的VIP提供商来说,这样的任务可能是一种负担。对于专门生产VIP的公司来说,情况并非如此。他们是专家,并在生产过程采用了先进的工具,以产生所需的测试套件,以实现100%的协议覆盖率,并与所需的文档配对。

全球电子行业将在2025和未来的几年看到各种新标准和协议的更快推出,因此现在是与那些拥有先进的VIP开发工具,并拥有熟悉这些标准和协议的专家VIP提供商深入合作的时候了。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2283082.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

基于ESP32-IDF驱动GPIO输出控制LED

基于ESP32-IDF驱动GPIO输出控制LED 文章目录 基于ESP32-IDF驱动GPIO输出控制LED一、点亮LED3.1 LED电路3.2 配置GPIO函数gpio_config()原型和头文件3.3 设置GPIO引脚电平状态函数gpio_set_level()原型和头文件3.4 代码实现并编译烧录 一、点亮LED 3.1 LED电路 可以看到&#x…

电商网站项目代码

SCHUTZ鞋类电商网站:用代码打造时尚王国 ——零基础也能看懂的现代网页设计揭秘 开篇:当高跟鞋遇见代码 想象你走进一家奢侈品鞋店——灯光优雅,商品陈列如艺术品,轻轻一点就能试穿最新款凉鞋。这不是米兰的实体店,而…

Jenkins上生成的allure report打不开怎么处理

目录 问题背景: 原因: 解决方案: Jenkins上修改配置 通过Groovy脚本在Script Console中设置和修改系统属性 步骤 验证是否清空成功 进一步的定制 也可以使用Nginx去解决 使用逆向代理服务器Nginx: 通过合理调整CSP配置&a…

3个基于.Net开发的、开源远程管理工具

盘点3个基于.Net开发的、开源Windows远程管理工具。 1、Quasar 这是一个基于 C#开发的、开源的快速、轻量级远程管理工具,是一个高稳定性和易于使用的的远程管理工具。它支持TCP协议,适用于IPv4和IPv6,加密通信保护隐私。功能丰富&#xff…

游戏AI,让AI 玩游戏有什么作用?

让 AI 玩游戏这件事远比我们想象的要早得多。追溯到 1948 年,图灵和同事钱伯恩共同设计了国际象棋程序 Turochamp。之所以设计这么个程序,图灵是想说明,机器理论上能模拟人脑能做的任何事情,包括下棋这样复杂的智力活动。 可惜的是…

LogicFlow 一款流程图编辑框架

LogicFlow是什么 LogicFlow是一款流程图编辑框架,提供了一系列流程图交互、编辑所必需的功能和灵活的节点自定义、插件等拓展机制。LogicFlow支持前端自定义开发各种逻辑编排场景,如流程图、ER图、BPMN流程等。在工作审批流配置、机器人逻辑编排、无代码…

安宝特方案 | 智能培训:安宝特AR如何提升企业技能培训的效率与互动性

随着企业不断推进数字化转型,传统培训方式已无法满足现代企业对高效、灵活培训的需求。尤其在技术更新频繁、工艺流程复杂、员工流动性大的环境中,传统培训模式的局限性愈加明显。为了提升培训质量、降低培训成本,并帮助员工迅速掌握新技能&a…

WIN11 UEFI漏洞被发现, 可以绕过安全启动机制

近日,一个新的UEFI漏洞被发现,可通过多个系统恢复工具传播,微软已经正式将该漏洞标记为追踪编号“CVE-2024-7344”。根据报告的说明,该漏洞能让攻击者绕过安全启动机制,并部署对操作系统隐形的引导工具包。 据TomsH…

【深度学习入门】深度学习知识点总结

一、卷积 (1)什么是卷积 定义:特征图的局部与卷积核做内积的操作。 作用:① 广泛应用于图像处理领域。卷积操作可以提取图片中的特征,低层的卷积层提取局部特征,如:边缘、线条、角。 ② 高层…

FastDFS的安装及使用

分布式存储发展历程 前段时间 618 活动火热进行,正是购物的好时机。当我们访问这些电 商网站的时候,每一个商品都会有各式各样的图片展示介绍,这些图 片一张两张可以随便丢在服务器的某个文件夹中,可是电商网站如此 大体量的…

接上篇基于Alertmanager 配置钉钉告警

Alertmanager 是一个用于处理和管理 Prometheus 警报的开源工具。它负责接收来自 Prometheus 服务器的警报,进行去重、分组、静默、抑制等操作,并通过电子邮件、PagerDuty、Slack 等多种渠道发送通知。 主要功能 去重:合并相同或相似的警报&a…

社区版Dify + Ollama + DeepSeek-R1(14b)实现私有化LLM推理

社区版Dify Ollama DeepSeek-R1 (14b)实现私有化LLM推理 一 、LLM推理模型简介为什么要用推理模型?DeepSeek R1简介 二、具体实现过程三、Dify 安装和专栏的以往文章推荐 一 、LLM推理模型简介 为什么要用推理模型? 大模型本身…

【开源免费】基于Vue和SpringBoot的常规应急物资管理系统(附论文)

本文项目编号 T 159 ,文末自助获取源码 \color{red}{T159,文末自助获取源码} T159,文末自助获取源码 目录 一、系统介绍二、数据库设计三、配套教程3.1 启动教程3.2 讲解视频3.3 二次开发教程 四、功能截图五、文案资料5.1 选题背景5.2 国内…

2025.1.20——一、[RCTF2015]EasySQL1 二次注入|报错注入|代码审计

题目来源:buuctf [RCTF2015]EasySQL1 目录 一、打开靶机,整理信息 二、解题思路 step 1:初步思路为二次注入,在页面进行操作 step 2:尝试二次注入 step 3:已知双引号类型的字符型注入,构造…

leetcode刷题记录(八十九)——35. 搜索插入位置

(一)问题描述 35. 搜索插入位置 - 力扣(LeetCode)35. 搜索插入位置 - 给定一个排序数组和一个目标值,在数组中找到目标值,并返回其索引。如果目标值不存在于数组中,返回它将会被按顺序插入的位…

Python Typing: 实战应用指南

文章目录 1. 什么是 Python Typing?2. 实战案例:构建一个用户管理系统2.1 项目描述2.2 代码实现 3. 类型检查工具:MyPy4. 常见的 typing 用法5. 总结 在 Python 中,静态类型检查越来越受到开发者的重视。typing 模块提供了一种方式…

Linux之Tcp粘包笔记

目录 一.网络传输四层模型 二.数据传输中数据包传输的两个限制概念 三.数据传输的中粘包问题 四.数据组装的原因 Nagle算法原理: 五.关闭Nagle优化处理粘包问题吗? 六.粘包处理方法 a.设置消息边界: b.定义消息长度: 七.UDP是否会出…

22_解析XML配置文件_List列表

解析XML文件 需要先 1.【加载XML文件】 而 【加载XML】文件有两种方式 【第一种 —— 使用Unity资源系统加载文件】 TextAsset xml Resources.Load<TextAsset>(filePath); XmlDocument doc new XmlDocument(); doc.LoadXml(xml.text); 【第二种 —— 在C#文件IO…

数据结构 链表2

目录 前言&#xff1a; 一&#xff0c;反转一个链表(迭代) 二&#xff0c;打印一个链表&#xff08;递归&#xff09; 三&#xff0c;反转一个链表(递归) 四&#xff0c;双向链表 总结 前言&#xff1a; 我们根据 [文章 链表1] 可以知道链表相比较于数组的优缺点和计算机…

Linux查看服务器的内外网地址

目录&#xff1a; 1、内网地址2、外网地址3、ping时显示地址与真实不一致 1、内网地址 ifconfig2、外网地址 curl ifconfig.me3、ping时显示地址与真实不一致 原因是dns缓存导致的&#xff0c;ping这种方法也是不准确的&#xff0c;有弊端不建议使用&#xff0c;只适用于测试…