芯片验证

• 芯片验证稀疏激励的重要性

  在构造芯片验证的激励时，通常DUT接口的激励产生agent会持续发多个请求给DUT，有时候可能是连续不断，没有bubble的，有时候可能会插几个bubble。但总得来说，一般发请求的数量不会少，而且bubble也不会插得特别多个。如果DUT存在多个接口，那么对于很多人来说可能就是在testcase启动后，每个接口都开始发激励，直到testcase结束。

  专芯致志er

  421

  10/23 15:44

  芯片验证
• Formality形式验证和SAT算法

  Formality 是一种广泛应用于芯片设计的形式验证工具，主要用于验证不同设计阶段的网表的逻辑等价性。

  志芯

  1023

  10/23 15:16

  芯片设计 芯片验证

  
• 芯片验证之验证计划

  本文介绍了芯片验证计划的重要性、撰写流程和主要内容。验证计划有助于明确验证任务、评估工作量、制定进度节点、判断验证结束时机、便于文档共享和交接，以及提高团队协作效率。验证计划的内容包括技术部分和技术部分两大部分。技术部分涵盖了验证测试点、验证层次、验证方法、验证环境、验证用例、验证检查、覆盖率和验证完备性分析。管理部分则涉及工具列表、验证进度安排、每阶段验收标准、人力需求和风险评估。编写验证计划需要综合考虑多个因素并不断更新和完善。

  专芯致志er

  1079

  10/06 08:25

  芯片验证

  
• IC设计中前仿真和后仿真的区别是啥？

  前仿真和后仿真是芯片验证的关键环节，分别侧重于功能正确性和时序正确性。前仿真关注器件参数和逻辑功能，而后仿真则考虑寄生参数和信号完整性。两者在工具使用上相似，但在流程环节上有明显区别，前仿真在RTL设计阶段，而后仿真在布局布线完成后进行。

  IC修真院

  2344

  09/18 11:20

  仿真 ic设计

  
• 讲点芯片验证中的统计覆盖率

  统计覆盖率(Statistical coverage, SCOV)应该是Arm公司提出来的一种方法，它是一种利用统计可视化从回归中提出和分析激励质量的方法。SCOV可以深入挖掘激励数据，以工程师易于理解的方式提取和呈现被统计事件的信息，并有明确的改进方向。 我前几年就接触了SCOV的一些实现，但一直都不是很重视它，也没有深入思考它的潜在价值。所以我大部分情况下可能只是应付任务的方式，实现一些激励或

  专芯致志er

  633

  08/25 15:10

  芯片验证

  
• RISC-V的发展，进入深水区

  从2023年起，我每年都会参加RISC-V的欧洲峰会，每次也都会做一期短视频聊聊参会感受。今年特别忙，还没来得及做，但其实想法早就有了。如果说第一年峰会的感觉是「RISC-V会是芯片未来」，第二年是「RISC-V更加无处不在」，那今年的感受就是：

  老石

  2742

  07/29 10:10

  RISC-V 芯片验证

  
• 芯片验证之验证策略

  验证策略是在高层次上对项目验证的整体规划，属于战略层面。它需要讲清楚项目验证对象是什么？如何确保验证对象的完备性？还涉及工作流程、进度安排和使用工具等方面的内容。这篇文章纯文字，可能会看得比较累。

  专芯致志er

  1361

  07/14 09:00

  芯片验证

  
• IC验证方向和知名公司面试题，验证必看！

  关于IC验证方面的杂谈，涉及验证步骤、主要验证岗位和部分企业验证面试问题（有点真东西）。

  芯之路

  4970

  05/12 13:25

  芯片验证

  
• FAB厂可靠性考核如何理解？以90纳米技术节点为例

  可靠性考核是芯片量产前的"极限压力测试"，本质是验证芯片在极端环境下的生存能力与性能衰减规律。对于90纳米技术节点，由于器件尺寸缩小带来的量子隧穿效应、热载流子注入等问题加剧，可靠性考核需建立更严苛的评估体系，如同检验汽车发动机能否在沙漠高温和极地严寒中稳定运行。

  老虎说芯

  1974

  02/24 09:55

  fabless 芯片验证
• 一文详解芯片验证工程师主要工作任务、工作工具和方法

  芯片设计完成后，验证工程师的任务就是检查电路是否按设计要求正确工作。他们需要通过各种验证手段，确认芯片的功能、性能、时序等方面没有问题。以下是他们的主要任务：

  老虎说芯

  2570

  02/05 14:54

  芯片工程师 芯片验证
• 涨薪50%！验证工程师的进阶之路！

  简单介绍一下自己，我是22届的成都某双非院校的电子信息毕业生。现在从事验证已经快两年，这里想和大家分享一些入行验证后的经验和心得。回想当初快毕业了，对自己何去何从很是迷茫，电子信息本科学的东西突出一个泛泛又杂，几乎没有一点是精通的，在就业市场竞争力非常小。我有幸通过IC修真院了解到IC行业当时的火爆，并成功搭上了IC这条船。

  IC修真院

  1878

  2024/11/28

  芯片验证 IC行业

  
• 如何写出更牛的验证激励

  芯片验证是为了发现芯片中的错误而执行的过程，它是一个破坏性的过程。完备的验证激励可以更有效地发现芯片错误，进而缩短验证周期。合格的验证激励必须能产生所有可能的验证场景(完备性)，包括合法和非法的场景，并保持最大的可扩展性和可控性。

  专芯致志er

  1207

  2024/10/08

  芯片验证

  
• 如何写出更系统的验证检查器

  芯片验证是为了发现芯片中的错误而执行的过程，它是一个破坏性的过程。有效激励灌入待测模块后，需要判断出不符合功能描述的行为。检查器(Checker)就是用于查看待测模块是否按照功能描述文档做出期望的行为，识别出所有的设计缺陷。

  专芯致志er

  965

  2024/10/08

  芯片验证

  
• 设计模式在芯片验证中的应用——状态

  状态模式是一种行为设计模式， 让你能在一个对象的内部状态变化时改变其行为， 使其看上去就像改变了自身所属的类一样。

  专芯致志er

  831

  2024/08/19

  芯片验证

  
• 什么是芯片验证 芯片验证是做什么的 数字芯片验证流程

  芯片验证就是采用相应的验证语言，验证工具，验证方法，在芯片生产之前验证芯片设计是否符合芯片定义的需求规格，是否已经完全释放了风险，发现并更正了所有的缺陷，站在全流程的角度，它是一种防范于未然的措施。

  知芯情报局

  2万

  2024/07/08

  芯片验证
• 设计模式在芯片验证中的应用——策略

  在RTL设计中可能包含了复杂的多个访问仲裁逻辑，使用了多种算法来确定访问内存优先级顺序，包括规定优先级、轮询仲裁等等。仲裁器的输入是多个请求者信号，以及选择要使用的仲裁算法的配置。根据选择的类型和请求者信号的值，仲裁器确定具有最高优先级的请求源，并授予它访问内存的权利。如下图所示，仲裁类型可以动态配置，这就是为什么该特性适合使用策略设计模式进行建模。在该模式中，可以在testcase运行中从提供的一系列算法中选择要应用的特定算法。此外，还可以直接为仲裁添加新算法，而无需修改之前代码。值得注意的是，之前讲到的装饰器设计模式也可用于动态更改行为，关键的区别在于，装饰器模式在原功能基础上添加额外的功能，而策略者模式直接更改原先功能。总得来说，策略模式可以让你改变对象的内部结构，装饰器模式允许你更改对象的皮肤。

  专芯致志er

  1278

  2024/06/12

  芯片验证 rtl

  
• 设计模式在芯片验证中的应用——单例

  单例模式(Singleton)是一种创建型设计模式，能够保证一个类只有一个实例， 并提供一个访问该实例的全局节点。验证环境配置(configuration)类、超时(timeout)处理类等可以使用单例实现。比如说验证环境需要在特定场景中监测特定接口上的超时事件，环境的每个组件都可以依赖超时处理类来设定超时的时刻。让所有组件都使用超时处理类的相同对象有助于调试。

  专芯致志er

  716

  2024/06/12

  芯片验证

  
• 设计模式在芯片验证中的应用——模板方法

  模板方法(Template Method)模式是一种行为设计模式， 它在父类中定义了一个功能的框架， 允许子类在不修改结构的情况下重写功能的特定步骤。也就是模板方法定义了一组有序执行的操作，将一些步骤的实现留给子类，同时保持整体功能结构。该技术通常也用于为主要操作提供预处理和后处理的钩子(hook)。

  专芯致志er

  1187

  2024/05/28

  芯片验证

  
• 这些数字IC验证面试题，你都刷过吗？

  芯片验证为什么那么重要？IC行业是智力密集、技术密集型的行业，更是高投入、高风险的行业，做一款芯片仅仅是开模的费用就是百万起。为了保证芯片功能的正确性和完整性，就需要验证工程师给设计或者实现过程提供迭代的关键意见。验证在芯片设计环节乃至全产业链中的位置都是举足轻重的。

  IC修真院

  3873

  2024/04/24

  芯片验证 数字IC
• IC验证的主要工作流程和验证工具是什么？

  验证其实是一个“证伪”的过程，从流程到工具，验证工程师的终极目的都只有一个：发现所有BUG，或者证明没有BUG，以保证芯片功能性能的正确性和可靠性。验证环节对于一颗芯片的重要性也是不言而喻的：·从项目周期来说，功能验证在芯片的整个设计周期中占用时间最多，大概要占到70%左右。·从项目成本来说，验证一颗芯片大概会占硬件开发总成本的50%。

  IC修真院

  2454

  2023/12/15

  芯片验证 测试工程师

  

正在努力加载...