完善资料让更多小伙伴认识你，还能领取20积分哦，立即完善>
标签 > 芯片验证
IC验证主要工作是根据芯片规格和特点设计并实现验证环境；根据芯片或模块的规格，利用已实现的验证环境进行验证和回归。
IC验证主要工作是根据芯片规格和特点设计并实现验证环境；根据芯片或模块的规格，利用已实现的验证环境进行验证和回归。
验证工程师分类较多，例如功能仿真的验证工程师，还有后端时序验证工程师等。验证内容如指纹IC验证。
IC验证主要工作是根据芯片规格和特点设计并实现验证环境；根据芯片或模块的规格，利用已实现的验证环境进行验证和回归。
验证工程师分类较多，例如功能仿真的验证工程师，还有后端时序验证工程师等。验证内容如指纹IC验证。
浅谈对IC验证的理解
在学校时就对ic有着浓烈的兴趣，毕业后也如愿做了ic验证工作。经过2年的学习和实践，对验证的理解零零散散也有不少，但总没法形成一个比较完整全面的经验谈。这里把我对验证的一些想法记录归纳，由于理解有限，下面的篇幅也许会比较零散。
1、验证对于ic的重要性
ic是集成电路的缩写，也就是我们常说的芯片；ic行业的技术门槛高、投入资金大、回报周期长、失败风险高，做一款中等规模的芯片大致需要10多人做1年半，开模的费用一般都在几百万，设计过程的笔误或者设计bug至少都会有上千个，由于设计缺陷或者工艺缺陷很容易造成芯片完全变成所谓的石头，而如果要重新头片不但需要投入额外的费用，更会将芯片上市时间延后至少半年，这些风险对于商业公司来说都是不可接受的。
正因为芯片的高风险，才凸显了验证的重要性。在流片之前，通过验证人员的验证活动发现所有的设计bug，这就显得特别重要。
2、验证的一目标
做验证首先要明确我们做ic验证的目标是什么。上面我们已经提到，由于芯片的高风险、高代价，才更突出了验证的重要性，尤其是芯片规模越来越大，逻辑越来越复杂。
为了保证芯片的成功，验证唯一的目标就是发现所有的bug，做到无漏验、零漏测。
3、验证的两问题
作为验证人员，首先要搞清楚两个问题：
1）我们要验证什么？
2）我们该怎么验？
这两个问题是验证的根本，就如同哲学里的“我是谁、我来自哪儿、我要去哪儿”一样，“我们要验什么？”是给我们指明目标，”我们该怎么验？“则是告诉我们该采用什么样的手段去达到这个目标。
如果这2个问题都没搞清楚，那么没人对你负责验证的模块有信心，毕竟你自己都不知道你的目标是什么，不知道该怎么做才能达到那个目标。这两个问题是验证的核心所在，如果想做好验证，这是前提。
4、验证的三板斧
要想做好验证，保证无漏验、零漏测，以下三个要素是必须要具备的：验证工具的掌握、算法/协议的理解、验证的意识。
1）验证工具的掌握
验证工具包括vmm/uvm等验证方法学、sv/sc等验证语言、vcs等验证仿真工具、perl/python等脚本语言，这些东西是做验证要掌握的基本技能，不论你做什么样的芯片都需要这些东西来支撑你的验证工作。
这些验证工具可以帮助你解决“我们该怎么验”这个问题，当你很好的掌握这些验证工具后，你可以有很多种方法途径去达成你的验证目标。
说实在话，验证工具的东西很多，要想在短时间内全部掌握也不可能，而且很多工具可能在你的验证过程中不会用到。
个人对验证工具的一点感悟是：不要贪求全部掌握，你可以先看书学习实践，把这些东西都学习一遍；在学习的过程中你肯定会发现一些好东西（原来还有这种方法可以让我的xx做的更好）；对于那些暂时不知道怎么应用到实践中的东西，你也不要认为它们是没用的，其实只是你不知道用在哪儿而已，在你以后的验证中也许就会发现它的应用场景，当你需要它的时候也许你已经忘记怎么用了，这个没关系，你可以再回去查阅资料，这个相信很快就能解决的，这样有个好处是当你碰到可以用xx的时候你至少能想起曾经看到某个东西可以来实现它，如果你从未学习过，那么你根本就不会想起有这么个方法可以解决它，这才是可怕的，我都不知道这个问题是可以被解决的。
2）算法/协议的理解
芯片要实现什么，不外乎是xx算法、某某协议，算法/协议才是芯片的魂。验证其实也就是验的算法/协议实现是否正确。就跟批改作文一样，只有批改者有一定的文学功底，才能更好的评判作文水平。
因此，验证人员对算法/协议理解越深刻越好，要理解算法的原理以及算法的实现结构，只有这样才能找出其中的corner点。
3）验证的意识
验证的意识究竟是什么，其实我也说不清楚，只能按照我自己的理解写写一些。
对任何东西都要有质疑的态度
手要伸长，延伸到上下游
对问题要刨根问底
5、验证的流程
做任何事情都需要按照一定的流程来走，否则很容易陷入混乱之中，尤其是对于刚入门的新手来说更是如此。我目前接触的通用流程大致如下：
1）提取测试点，明确验什么
分析FS/浮点平台，提取芯片的规格及测试点；
分析AS/定点平台，提取测试点；
分析DS，提取测试点并识别asic与算法的不一致点；
2）制定验证方案，明确怎么验
刷新测试点列表，明确测试点的覆盖方式：功能覆盖率、代码覆盖率、直接用例；
验证环境的搭建策略，这个步骤是可以做成自动化工具的；
验证的重点难点，提前识别重难点，并制定相应的对策；
刷新用例列表，明确测试用例的方法及步骤；
3）用例执行，随机测试，发现bug
执行直接用例，发现大部分的bug；
带随机的大量测试，试图撞出bug；
4）完备性分析，确保无漏验
FA/AS完备性确认，确认FS/AS中的所有点都已纳入测试点，并确保已被覆盖，包括应用场景；
接口完备性确认，保证所有的接口时序都已覆盖，包括正常时序及异常时序；
覆盖率确认，分析所有的代码覆盖率、功能覆盖率，保证全部覆盖；
代码分析，熟练掌握电路的实现逻辑，保证所有的电路corner都已覆盖；
上述这几个步骤是一个比较规范的流程，只要每个步骤都做好，基本就能做到无漏测、零漏验。
6、验证的后话
1）验证的空间
作为验证人员最希望的情况是：把所有的激励空间都覆盖到，这样就绝对能保证无漏测、零漏验。但实际情况是：芯片规模越来越大，其激励空间近乎无限，同时EDA仿真的速度奇慢，根本无法实现全覆盖，即使是FPGA、EMU等仿真加速器对此也是无能为力。
因此，合理划分激励等价类是相当重要的，但这也一直是验证的难点所在，很多情况下根本就没法分析清楚等价类。
2）CDV验证
CDV就是覆盖率驱动验证的意思，就是写一大堆覆盖率（断言覆盖率、功能覆盖率、代码覆盖率），只要这些覆盖率全都达到的话则表示验证已经完备。
这是我们的目标，其前提是分析清楚我们的测试点覆盖空间，这个分析也是让人头痛的事，没有谁敢拍着胸脯说这个测试点空间是完备的。
3）formal验证
传统的仿真都是动态验证，由于其仿真效率低下无法遍历所有空间，formal这种静态的验证手段则可以遍历所有空间。不过在目前这个阶段，formal还只能适用于百万门级的模块验证，同时目前市面上的formal工具大多要么只对控制逻辑支持较好，要么只对算法逻辑支持较好，几乎没有一款formal工具能完美支持所有的电路逻辑。
4）环境自动化
在验证过程中，搭建验证环境是一个机械性的劳动，但有时候又比较耗费时间而且容易出错，因此把验证环境做成自动化工具，还是能提高不少验证效率的。
5）全部使用直接用例
从验证流程中可以看到，用例执行过程中大部分bug在直接用例过程中被发现，但还有一部分隐藏比较深的bug只有通过随机激励来发现。
这里存在一个问题，随机测试是不可靠的，有很大的概率发现不了隐藏的bug，对此可以有两种方法：
一是采用带约束的随机，这样可以更好的达到边界点，这同样存在概率性问题；
二是所有的corner点全部用直接用例覆盖，这些直接用例执行一次即可发现所有的bug，根本不需要进行长期的随机测试，这要求我们能识别出所有的corner点；
方法二是我们追求的目标，全部用直接用例覆盖，取代长期随机测试，可惜愿望是美好的。
6）复用的东西都BB化
在芯片设计中经常回重用以前的模块，这样不仅加快进度，而且能降低出错风险；但是对于验证人员来说，复用并不一定是好事情，经常会出现这样的事情：由于是复用之前的模块，所以在验证的时候会掉以轻心，结果埋下bug。如果把复用模块当做全新模块来验证，这又要花费大量的时间，可能就会延后芯片的投片时间。
对于复用的模块，验证人员也可以把验证的相关东西做成BB化，后续芯片复用该模块时，也可以复用该验证BB。
前言我们聊聊芯片设计、流片、验证、制造、成本的那些事；流片对于芯片设计来说就是参加一次大考。流片的重要性就在于能够检验芯片设计是否成功，是芯片制造的关键...
这是芯片在设计过程中的一个环节，主要通过EDA（电子设计自动化）工具进行仿真检验。它的主要目的是在芯片生产之前，验证芯片设计是否符合预定的需求规格，是否...
本文主要针对芯片验证工作中常用的linux知识做了一个总结和梳理，内容虽然比较基础，但确实是非常实用。全文8000多字，为了方便大家阅读和查阅，我把文章...
不管是做设计，还是验证，相信大家都会有一些review会议上被问一些刁钻的问题的经历。当然，与会者问这些不那么容易回答的问题并非有意为难，大多数时候只是...
2023-09-27 标签：芯片验证 575 0
文件中通常有两种类型的字符：可打印字符和不可打印字符。字母、数字、字符、标点符号、空格等称为可打印字符；除可打印字符外，所有字符都称为不可打印字符。
随着半导体技术的快速发展，集成电路芯片的复杂度日益增加，芯片设计中的验证工作变得越来越重要。验证的目的是确保芯片在各种工况下的功能正确性和性能稳定性。在...
白盒测试是关注测试用例覆盖程序逻辑（源代码）的程度。最终的白盒测试是执行程序中的每个路径。但对于大多数的程序（例如带有循环的程序），完全意义上的全路径覆...
许多ML算法已经在功能验证的不同领域进行了尝试，并取得了不错的效果。ML在功能验证中的应用主要分为：需求工程、静态代码分析、验证加速、覆盖率收集和BUG...
VCS是编译型verilog仿真器，VCS先将verilog/systemverilog文件转化为C文件，在linux下编译生成的可执行文./simv即...
深圳集成电路峰会演讲预告：思尔芯探讨国产硬件仿真如何加速芯片验证
演讲预告深圳集成电路峰会EDA创新生态发展论坛思尔芯S2C2023年9月21日-22日，以“洞见芯趋势，共筑芯时代”为主题的2023年中国（深圳）集成电...
芯片验证板卡设计原理图：446-基于VU440T的多核处理器多输入芯片验证板卡
基于XCVU440-FLGA2892的多核处理器多输入芯片验证板卡为实现网络交换芯片的验证，包括四个FMC接口、DDR、GPIO等，板卡用于完成甲方的芯...
所以通过专门的设备在硬件上调试芯片设计， 如硬件仿真和原型验证，是其重要的解决方案之一。硬件仿真和原型验证的效率和速度比软件仿真可要高很多，尤其是硬件仿...
长电科技近日宣布，推出业界领先的一站式验证测试平台，支持从芯片、封装、模块到最终产品的实验验证，为集成电路产业链上下游深入合作提供更为坚实的基础平台，支...
芯片设计随着时间推移正在变得越来越复杂是业界人士的共识，但是究竟“复杂”体现在哪些方面，并且随着复杂度提升，还有哪些没有解决的问题，这就需要深入的考察和...
学会这些System Verilog方法，芯片验证入门没问题
一个掌握Verilog语言的工程师初次看SystemVerilog都会有这样的感受，这就是Verilog啊，很容易啊，So easy啊。没错，确实是这样...
自动化测试如今已不再是产测的专属议题。随着芯片的集成与电子产品的多功能导向发展，混合模拟、射频与数字信号的测试增加了系统验证与测量的复杂度。 纵然产...
EDA是半导体设计中至关重要的开发工具，随着美国的制裁在半导体产业链中占据重要位置的EDA逐渐进入了大众的视野。受限于EDA管制，从最前端的设计环节开始...
2017年9月6日 - Bridgetek宣布对越南进行重大投资，进一步扩大在亚洲的研发中心，实现对持续产品创新的承诺。新的研发中心位于胡志明市郊，将与...
换一批
编辑推荐厂商产品技术软件/工具OS/语言教程专题
| 电机控制 | DSP | 氮化镓 | 功率放大器 | ChatGPT | 自动驾驶 | TI | 瑞萨电子 |
| BLDC | PLC | 碳化硅 | 二极管 | OpenAI | 元宇宙 | 安森美 | ADI |
| 无刷电机 | FOC | IGBT | 逆变器 | 文心一言 | 5G | 英飞凌 | 罗姆 |
| 直流电机 | PID | MOSFET | 传感器 | 人工智能 | 物联网 | NXP | 赛灵思 |
| 步进电机 | SPWM | 充电桩 | IPM | 机器视觉 | 无人机 | 三菱电机 | ST |
| 伺服电机 | SVPWM | 光伏发电 | UPS | AR | 智能电网 | 国民技术 | Microchip |
| 开关电源 | 步进电机 | 无线充电 | LabVIEW | EMC | PLC | OLED | 单片机 |
| 5G | m2m | DSP | MCU | ASIC | CPU | ROM | DRAM |
| NB-IoT | LoRa | Zigbee | NFC | 蓝牙 | RFID | Wi-Fi | SIGFOX |
| Type-C | USB | 以太网 | 仿真器 | RISC | RAM | 寄存器 | GPU |
| 语音识别 | 万用表 | CPLD | 耦合 | 电路仿真 | 电容滤波 | 保护电路 | 看门狗 |
| CAN | CSI | DSI | DVI | Ethernet | HDMI | I2C | RS-485 |
| SDI | nas | DMA | HomeKit | 阈值电压 | UART | 机器学习 | TensorFlow |
| Arduino | BeagleBone | 树莓派 | STM32 | MSP430 | EFM32 | ARM mbed | EDA |
| 示波器 | LPC | imx8 | PSoC | Altium Designer | Allegro | Mentor | Pads |
| OrCAD | Cadence | AutoCAD | 华秋DFM | Keil | MATLAB | MPLAB | Quartus |
| C++ | Java | Python | JavaScript | node.js | RISC-V | verilog | Tensorflow |
| Android | iOS | linux | RTOS | FreeRTOS | LiteOS | RT-THread | uCOS |
| DuerOS | Brillo | Windows11 | HarmonyOS |
关注我们的微信
下载发烧友APP
电子发烧友观察
版权所有 © 湖南华秋数字科技有限公司
长沙市望城经济技术开发区航空路6号手机智能终端产业园2号厂房3层（0731-88081133）
电子发烧友 （电路图） 湘公网安备43011202000918
工商网监
湘ICP备2023018690号-1
