数字IC芯片验证流程及验证工具推荐?收藏专用

验证其实是一个“证伪”的过程,从流程到工具,验证工程师的终极目的都只有一个:

发现所有BUG,或者证明没有BUG,以保证芯片功能性能的正确性和可靠性。

验证环节对于一颗芯片的重要性也是不言而喻的:

·从项目周期来说,功能验证在芯片的整个设计周期中占用时间最多,大概要占到70%左右。

·从项目成本来说,验证一颗芯片大概会占硬件开发总成本的50%。

接下来就来聊聊IC验证的流程和工具。

在这里插入图片描述
(文末可全文档)

理解DUT
验证工程师需要深入理解芯片Spec,包括但并不限于:了解架构、数据流向、基本功能、接口、IP、协议、寄存器定义等。

对Spec了解越详细,之后的验证工作就能够越充分。

使用工具:查看Spec使用最基础的Office软件即可

制定验证计划
对于芯片项目的Boss或者负责人来说,一份完整的验证计划需要包含:验证策略方法、人力资源调配、项目进度评估、风险评估等多项内容。

对于验证工程师来说,就应该考虑功能测试点、验证层次、验证方法和验证覆盖率等技术层面为主的内容,还需要在搭建验证环境之前充分review验证计划。

制定验证方法策略
一般会按照大的功能模块或数据流向对DUT进行划分,比如需要确定是在module/sub system/chip system哪个level去做验证。

搭建验证平台
根据验证方案来编写验证环境,一般会使用uvm平台,python脚本辅助来搭建环境,并通过冒烟测试来确定验证平台是否完善。

从时间线上来说,搭建验证平台可以和提取验证点并行进行。

提取测试点
测试点被验证工程师认为是“验证的圣经”,因为这是诸多工作开展的出发点和落脚点。一些公司会把这个步骤称作VO(verification objective),也有的公司叫做Test Point。

验证工程师在分解测试点时需要注意完备性、低耦合以及无歧义,然后将测试点罗列在Excel表格中。

理想情况下,验证工程师拿到测试点list和DUT之后,就可以写testcase进行验证了。

另外,在环境搭建、验证执行、用例调试、覆盖率分析等阶段也会不断对测试点进行修正和增补。

执行验证
根据提取出来的测试点,添加testcase在验证平台上去进行测试,这是一个需要反复迭代、反复优化的过程。

这个过程中会使用到vcs/xrun进行仿真、makefile编辑脚本、verdi/ncsim查看波形,并且要尽可能确保每个测试点的功能是否实现正确。

收集验证覆盖率
需要收集功能覆盖率和代码覆盖率,增补用例,以确保覆盖率达到100%。一般可以通过imc或Verdi来查看覆盖率报告。

一些规模比较大的IC设计公司,会设置专门的岗位来收集验证覆盖率。

完成验证报告
验证报告通常需要包含checklist、覆盖率分析、难点覆盖情况等内容。

上述环节概述了验证工程师比较主要的工作流程。

但其实验证是贯穿着整个IC设计流程的,在芯片开发过程中只要发现问题或缺陷,就需要进行修正和改进,直到设计符合预期的要求为止。

从提取验证点、编写验证方案到搭建验证环境再到具体验证执行环节的Debug,每一步都需要经验的加持。

入行两三年的工程师和十年经验的工程师,在细节方面的把控是完全不同的。

而验证,恰好是一个细节为王的岗位。这也就是为什么ic验证工程师越老越吃香的原因之一。

工作特性要求验证工程师要做的并不仅仅只是用EDA工具进行仿真验证,而是从系统架构到应用层面对自己所负责验证的模块进行深入了解。

既要能够如验证计划要求的那样工作在最高层,也要能够在最底层植入错误进行自我检查。

需要上述学习搭建UVM验证环境文档的同学可按需领,可以直接分享给大家~

这里放个口:学习搭建UVM验证环境文档领取

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

python爬虫指南之请求模块urllib的详细教程

文章目录 前言一、urllib的子模块二、HttpResponse常用方法与属性获取信息urlli.parse的使用(一般用于处理带中文的url) 三、爬取baidu官网HTML源代码添加请求头信息(重构user\_agent) 四、扩展知识with open和open两者的区别关于Python技术储备一、Pyth…

python+gurobi求解线性规划、整数规划、0-1规划

文章目录 简单回顾线性规划LP整数规划IP0-1规划 简单回顾 线性规划是数学规划中的一类最简单规划问题,常见的线性规划是一个有约束的,变量范围为有理数的线性规划。如: 使用matlab的linprog函数即可求解简单的线性规划问题,可以参…

人力资源管理后台 === 角色管理

目录 1.组织架构-编辑部门-弹出层获取数据 2.组织架构-编辑部门-编辑表单校验 3.组织架构-编辑部门-确认取消 4.组织架构-删除部门 5.角色管理-搭建页面结构 6.角色管理-获取数据 7.角色管理-表格自定义结构 8.角色管理-分页功能 9.角色管理-新增功能弹层 10.角色管理…

springboot实现验证码功能

转载自 : www.javaman.cn 1、编写工具类生成4位随机数 该工具类主要生成从0-9,a-z,A-Z范围内产生的4位随机数 /*** 产生4位随机字符串*/public static String getCheckCode() {String base "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmn…

【TinyALSA全解析(三)】tinyplay、tincap、pcm_open源码解析

tinyplay、tincap、pcm_open源码解析 一、本文的目的二、tinyplay.c源码分析三、tinycap.c源码分析四、pcm.c如何调度到Linux Kernel4.1 pcm_open解析4.1.1 pcm_open的主要流程4.1.2 流程说明4.1.3 调用方法 4.2 pcm_write解析 /*********************************************…

文章改写工具-改写神器

当代社会,信息爆炸,写作已成为人们生活与工作中不可或缺的一环。无论是学术论文、商业报告还是日常沟通,文字的准确表达和精彩呈现是至关重要的。然而,许多人在面对写作时,常常为语言表达、词汇选择而苦恼。为了解决这…

基于OpenCV+YOLOv5实现车辆跟踪与计数(附源码)

导 读 本文主要介绍基于OpenCVYOLOv5实现车辆跟踪与计数的应用,并给出源码。 资源下载 基础代码和视频下载地址: https://github.com/freedomwebtech/win11vehiclecount main.py代码:​​​​​​​ import cv2import torchimport numpy as npfrom tr…

Dockerfile讲解

Dockerfile 1. 构建过程解析2. Dockerfile常用保留字指令3. 案例3.1. 自定义镜像mycentosjava83.2. 虚悬镜像 4. Docker微服务实战 dockerfile是用来构建docker镜像的文本文件,是由一条条构建镜像所需的指令和参数构成的脚本。 dockerfile定义了进程需要的一切东西&…

hdlbits系列verilog解答(Exams/m2014 q4e)-46

文章目录 一、问题描述二、verilog源码三、仿真结果 一、问题描述 实现以下电路: 二、verilog源码 module top_module (input in1,input in2,output out);assign out ~(in1 | in2);endmodule三、仿真结果 转载请注明出处!

JOSEF 综合继电器 HJZZ-32/2 AC220V 合闸延时整定0.02-9.99S

系列型号: HJZZ-91分闸、合闸、电源监视综合装置; HJZZ-92/1分闸、合闸、电源监视综合装置; HJZZ-92/2分闸、合闸、电源监视综合装置; HJZZ-92/2A分闸、合闸、电源监视综合装置; HJZZ-92/3分闸、合闸、电源监视综…

Gitee上传代码教程

1. 本地安装git 官网下载太慢,我们也可以使用淘宝镜像下载:CNPM Binaries Mirror 安装成功以后电脑会有Git Bush标识,空白处右键也可查看。 2. 注册gitee账号(略) 3. 创建远程仓库 4. 上传代码 4.1 在项目文件目录…

【教学类-06-10】20231126 X-Y数字分合-分-下空左

结果展示: 背景需求: 数字分合,这一次空在左侧 代码展示: X-Y 之间的分合题-分-空在右侧 时间:2023年11月26日 21:46 作者:阿夏 import random from win32com.client import constants,gencache from win3…

python之静态服务器程序开发

文章目录 Python静态Web服务器开发Web静态服务器初识搭建Python自带的静态Web服务器静态Web服务器返回固定页面数据静态Web服务器返回指定页面数据静态Web服务器多任务版静态Web服务器面向对象开发静态Web服务器命令行启动动态绑定端口号 Python静态Web服务器开发 Web静态服务…

Web3.0时代:区块链DAPP将如何颠覆传统模式

小编介绍:10年专注商业模式设计及软件开发,擅长企业生态商业模式,商业零售会员增长裂变模式策划、商业闭环模式设计及方案落地;扶持10余个电商平台做到营收过千万,数百个平台达到百万会员,欢迎咨询。 随着…

基于DSP/SOC音乐灯效系统设计方法

音乐灯效系统设计方法 是否需要申请加入数字音频系统研究开发交流答疑群(课题组)?可加我微信hezkz17, 本群提供音频技术答疑服务,+群赠送语音信号处理降噪算法,蓝牙耳机音频,DSP音频项目核心开发资料, 三种方法: (1)MIC 采集音乐信号变化,(2)直接获取SPK 模拟音频…

使用char.js 柱形方式显示 一年12个月的最高气温与最低气温

<!DOCTYPE html> <html> <head><title>气温图表</title><script src"https://cdn.jsdelivr.net/npm/chart.js"></script><style>#myChart{width:800px;height: 400px;}</style> </head> <body>&l…

【Linux】:信号在内核里的处理

信号的发送和保存 一.内核中的信号处理二.信号集操作函数1.一些信号函数2.sigprocmask3.sigpending4.写代码 三.信号在什么时候处理的四.再谈地址空间 一.内核中的信号处理 1.实际执行信号的处理动作称为信号递达(Delivery )2.信号从产生到递达之间的状态,称为信号未决(Pending…

通义灵码,你的智能编码助手,免费公测啦!

目录 ​编辑 1、介绍 2、安装 3、功能介绍 行/函数级实时续写 自然语言生成代码 单元测试生成 代码注释生成 代码解释 研发智能问答 多编程语言、多编辑器全方位支持 4、视频 &#x1f343;作者介绍&#xff1a;双非本科大三网络工程专业在读&#xff0c;阿里云专家…

QT Day01 qt概述,创建项目,窗口属性,按钮,信号与槽

1.qt概述 1.什么是qt Qt 是一个跨平台的 C 图形用户界面应用程序框架。它为应用程序开发者提供建立艺 术级图形界面所需的所有功能。它是完全面向对象的&#xff0c;很容易扩展&#xff0c;并且允许真正的组 件编程。 2.支持的平台 Windows – XP 、 Vista 、 Win7 、 Win8…

博捷芯打破半导体切割划片设备技术垄断,国产产业链实现高端突破

近日&#xff0c;国内半导体产业传来喜讯&#xff0c;博捷芯成功实现批量供货半导体切割划片设备&#xff0c;打破国外企业在该领域的长期技术垄断&#xff0c;为国产半导体产业链在高端切割划片设备领域实现重大突破。 自上世纪90年代以来&#xff0c;由于国外企业的技术封锁和…
最新文章