Supplyframe Supplyframe XQ Datasheet5 芯耀 Findchips bom2buy Siemens Xcelerator
关注我们
  • 技术群
  • 地域群
  • 活动群

  • 存储/储能技术资源交流群

    加入

  • 电子技术交流群

    加入

  • AI人工智能交流群

    加入

  • 物联网技术交流群

    加入

  • 机器人技术交流群

    加入

  • 电源技术交流群

    加入

  • 广深工程师技术资源交流群

    加入

  • 上海区域工程师技术资源交流群

    加入

  • 北京区域工程师技术资源交流群

    加入
设计助手
电子硬件助手 电子硬件助手
元器件查询 元器件查询

扫码加入

加入星计划，您可以享受以下权益：

  • 创作内容快速变现
  • 行业影响力扩散
  • 作品版权保护
  • 300W+ 专业用户
  • 1.5W+ 优质创作者
  • 5000+ 长期合作伙伴
立即加入

芯片验证

加入交流群
扫码加入
获取工程师必备礼包
参与热点资讯讨论
类型
新鲜 热门
不限时间
  • 为什么APB和AHB总线如此重要却又充满陷阱？
    本文深入解析了Arm芯片设计中的APB和AHB总线，强调了它们的重要性及其设计中的常见陷阱与解决方案。文章详细介绍了如何应对时序管理、仲裁机制、跨时钟域同步、突发传输边界处理和低功耗设计等方面的挑战，并提供了实战案例和最佳实践建议，旨在帮助工程师更好地理解和掌握总线设计的关键要点。
    726
    02/04 17:14
    芯片设计 芯片验证
  • 从6个方向思考memory验证的完备性
    内存验证面临无限大验证空间挑战，在有限时间内高效找出并解决芯片设计问题至关重要。本文提出六点思考方向：输入输出接口验证、命令和数据传输完整性检查、保序验证、Hazard检测、仲裁验证和性能评估。这些方法有助于提高验证效率，确保芯片设计质量。
    281
    01/30 15:28
    芯片验证
  • 芯片验证稀疏激励的重要性
    在构造芯片验证的激励时，通常DUT接口的激励产生agent会持续发多个请求给DUT，有时候可能是连续不断，没有bubble的，有时候可能会插几个bubble。但总得来说，一般发请求的数量不会少，而且bubble也不会插得特别多个。如果DUT存在多个接口，那么对于很多人来说可能就是在testcase启动后，每个接口都开始发激励，直到testcase结束。
    476
    2025/10/23
    芯片验证
  • Formality形式验证和SAT算法
    Formality 是一种广泛应用于芯片设计的形式验证工具，主要用于验证不同设计阶段的网表的逻辑等价性。
    1296
    2025/10/23
    芯片设计 芯片验证
    Formality形式验证和SAT算法
  • 芯片验证之验证计划
    本文介绍了芯片验证计划的重要性、撰写流程和主要内容。验证计划有助于明确验证任务、评估工作量、制定进度节点、判断验证结束时机、便于文档共享和交接，以及提高团队协作效率。验证计划的内容包括技术部分和技术部分两大部分。技术部分涵盖了验证测试点、验证层次、验证方法、验证环境、验证用例、验证检查、覆盖率和验证完备性分析。管理部分则涉及工具列表、验证进度安排、每阶段验收标准、人力需求和风险评估。编写验证计划需要综合考虑多个因素并不断更新和完善。
    1442
    2025/10/06
    芯片验证
    芯片验证之验证计划
  • IC设计中前仿真和后仿真的区别是啥？
    前仿真和后仿真是芯片验证的关键环节，分别侧重于功能正确性和时序正确性。前仿真关注器件参数和逻辑功能，而后仿真则考虑寄生参数和信号完整性。两者在工具使用上相似，但在流程环节上有明显区别，前仿真在RTL设计阶段，而后仿真在布局布线完成后进行。
    3642
    2025/09/18
    仿真 ic设计
    IC设计中前仿真和后仿真的区别是啥？
  • 讲点芯片验证中的统计覆盖率
    统计覆盖率(Statistical coverage, SCOV)应该是Arm公司提出来的一种方法，它是一种利用统计可视化从回归中提出和分析激励质量的方法。SCOV可以深入挖掘激励数据，以工程师易于理解的方式提取和呈现被统计事件的信息，并有明确的改进方向。 我前几年就接触了SCOV的一些实现，但一直都不是很重视它，也没有深入思考它的潜在价值。所以我大部分情况下可能只是应付任务的方式，实现一些激励或
    806
    2025/08/25
    芯片验证
    讲点芯片验证中的统计覆盖率
  • RISC-V的发展，进入深水区
    从2023年起，我每年都会参加RISC-V的欧洲峰会，每次也都会做一期短视频聊聊参会感受。今年特别忙，还没来得及做，但其实想法早就有了。如果说第一年峰会的感觉是「RISC-V会是芯片未来」，第二年是「RISC-V更加无处不在」，那今年的感受就是：
    2674
    2025/07/29
    RISC-V 芯片验证
    RISC-V的发展，进入深水区
  • 芯片验证之验证策略
    验证策略是在高层次上对项目验证的整体规划，属于战略层面。它需要讲清楚项目验证对象是什么？如何确保验证对象的完备性？还涉及工作流程、进度安排和使用工具等方面的内容。这篇文章纯文字，可能会看得比较累。
    2101
    2025/07/14
    芯片验证
    芯片验证之验证策略
  • IC验证方向和知名公司面试题，验证必看！
    关于IC验证方面的杂谈，涉及验证步骤、主要验证岗位和部分企业验证面试问题（有点真东西）。
    5419
    2025/05/12
    芯片验证
    IC验证方向和知名公司面试题，验证必看！
  • FAB厂可靠性考核如何理解？以90纳米技术节点为例
    可靠性考核是芯片量产前的"极限压力测试"，本质是验证芯片在极端环境下的生存能力与性能衰减规律。对于90纳米技术节点，由于器件尺寸缩小带来的量子隧穿效应、热载流子注入等问题加剧，可靠性考核需建立更严苛的评估体系，如同检验汽车发动机能否在沙漠高温和极地严寒中稳定运行。
    1847
    2025/02/24
    fabless 芯片验证
  • 一文详解芯片验证工程师主要工作任务、工作工具和方法
    芯片设计完成后，验证工程师的任务就是检查电路是否按设计要求正确工作。他们需要通过各种验证手段，确认芯片的功能、性能、时序等方面没有问题。以下是他们的主要任务：
    2834
    2025/02/05
    芯片工程师 芯片验证
  • 涨薪50%！验证工程师的进阶之路！
    简单介绍一下自己，我是22届的成都某双非院校的电子信息毕业生。现在从事验证已经快两年，这里想和大家分享一些入行验证后的经验和心得。回想当初快毕业了，对自己何去何从很是迷茫，电子信息本科学的东西突出一个泛泛又杂，几乎没有一点是精通的，在就业市场竞争力非常小。我有幸通过IC修真院了解到IC行业当时的火爆，并成功搭上了IC这条船。
    1991
    2024/11/28
    芯片验证 IC行业
    涨薪50%！验证工程师的进阶之路！
  • 如何写出更牛的验证激励
    芯片验证是为了发现芯片中的错误而执行的过程，它是一个破坏性的过程。完备的验证激励可以更有效地发现芯片错误，进而缩短验证周期。合格的验证激励必须能产生所有可能的验证场景(完备性)，包括合法和非法的场景，并保持最大的可扩展性和可控性。
    1089
    2024/10/08
    芯片验证
    如何写出更牛的验证激励
  • 如何写出更系统的验证检查器
    芯片验证是为了发现芯片中的错误而执行的过程，它是一个破坏性的过程。有效激励灌入待测模块后，需要判断出不符合功能描述的行为。检查器(Checker)就是用于查看待测模块是否按照功能描述文档做出期望的行为，识别出所有的设计缺陷。
    909
    2024/10/08
    芯片验证
    如何写出更系统的验证检查器
  • 设计模式在芯片验证中的应用——状态
    状态模式是一种行为设计模式， 让你能在一个对象的内部状态变化时改变其行为， 使其看上去就像改变了自身所属的类一样。
    735
    2024/08/19
    芯片验证
    设计模式在芯片验证中的应用——状态
  • 什么是芯片验证 芯片验证是做什么的 数字芯片验证流程
    芯片验证就是采用相应的验证语言，验证工具，验证方法，在芯片生产之前验证芯片设计是否符合芯片定义的需求规格，是否已经完全释放了风险，发现并更正了所有的缺陷，站在全流程的角度，它是一种防范于未然的措施。
    1.7万
    2024/07/08
    芯片验证
  • 设计模式在芯片验证中的应用——策略
    在RTL设计中可能包含了复杂的多个访问仲裁逻辑，使用了多种算法来确定访问内存优先级顺序，包括规定优先级、轮询仲裁等等。仲裁器的输入是多个请求者信号，以及选择要使用的仲裁算法的配置。根据选择的类型和请求者信号的值，仲裁器确定具有最高优先级的请求源，并授予它访问内存的权利。如下图所示，仲裁类型可以动态配置，这就是为什么该特性适合使用策略设计模式进行建模。在该模式中，可以在testcase运行中从提供的一系列算法中选择要应用的特定算法。此外，还可以直接为仲裁添加新算法，而无需修改之前代码。值得注意的是，之前讲到的装饰器设计模式也可用于动态更改行为，关键的区别在于，装饰器模式在原功能基础上添加额外的功能，而策略者模式直接更改原先功能。总得来说，策略模式可以让你改变对象的内部结构，装饰器模式允许你更改对象的皮肤。
    1062
    2024/06/12
    芯片验证 rtl
    设计模式在芯片验证中的应用——策略
  • 设计模式在芯片验证中的应用——单例
    单例模式(Singleton)是一种创建型设计模式，能够保证一个类只有一个实例， 并提供一个访问该实例的全局节点。验证环境配置(configuration)类、超时(timeout)处理类等可以使用单例实现。比如说验证环境需要在特定场景中监测特定接口上的超时事件，环境的每个组件都可以依赖超时处理类来设定超时的时刻。让所有组件都使用超时处理类的相同对象有助于调试。
    620
    2024/06/12
    芯片验证
    设计模式在芯片验证中的应用——单例
  • 设计模式在芯片验证中的应用——模板方法
    模板方法(Template Method)模式是一种行为设计模式， 它在父类中定义了一个功能的框架， 允许子类在不修改结构的情况下重写功能的特定步骤。也就是模板方法定义了一组有序执行的操作，将一些步骤的实现留给子类，同时保持整体功能结构。该技术通常也用于为主要操作提供预处理和后处理的钩子(hook)。
    1035
    2024/05/28
    芯片验证
    设计模式在芯片验证中的应用——模板方法

正在努力加载...

热门作者 换一换
相关标签