芯片验证

加入交流群
扫码加入
获取工程师必备礼包
参与热点资讯讨论
  • 智算芯片设计验证全链路:从工具选型到一站式方案(2026)
    智算芯片的验证难度在过去五年里经历了量级跳跃。逻辑门规模从数十亿扩张至数百亿,片上集成的高速接口从PCIe单协议演进到HBM、RDMA、UCIe多协议并存,Chiplet多裸片架构又叠加了Die-to-Die互联验证的全新挑战。这种变化对验证平台的要求不是线性增加,而是跨越了若干技术门槛。 智算芯片验证的四类核心挑战 规模挑战:百亿门以上的设计超出了传统FPGA原型验证单系统的物理容量限制,必须依
  • IC验证面试原来这么问?包含答案和扩展思考
    本文介绍了建立试验时间和保持试验时间的概念及其在集成电路验证中的重要性。解释了同步复位和异步复位的区别,并详细阐述了验证时应注意的关键事项。文章还涉及了同步复位和异步复位的电路结构、时序约束、低功耗设计等方面的知识。 同步复位依赖时钟沿生效,而异步复位立即生效,但需防止亚稳态。同步复位面积较小,但高扇出网络可能导致时序瓶颈;异步复位虽面积稍大,但可快速截断逻辑。同步复位只需简单的时序约束,而异步复位需额外考虑recovery/removal窗口和CDC风险。 验证时需关注功能正确性、时序健壮性、亚稳态与CDC、功耗和电源域、性能等问题。此外,混合复位策略和安全岛场景也需特别注意。
    562
    06/14 09:25
    IC验证面试原来这么问?包含答案和扩展思考
  • 智能体爆发,芯片验证工程师的苦日子要来了?
    英伟达和Cadence合作推出的ChipStack AI Super Agent是一款面向芯片设计验证的AI智能体,能够在40倍的速度下完成芯片验证工作,显著减少了人类工程师的参与。尽管AI在某些方面表现出色,但它仍无法完全取代人类工程师,特别是在定义问题、极限调试和根因定位等方面。未来的芯片验证工程师将更多地扮演监督和审查者的角色,而非单纯的执行者。
    765
    06/10 13:21
    智能体爆发,芯片验证工程师的苦日子要来了?
  • 当芯片验证开始像软件测试一样写代码:Cocotb启示录
    IBM Research分享了一个关于如何通过Python和Cocotb简化芯片设计验证的故事。原本复杂的C++代码堆满了旧代码,新设计师难以应对。然而,通过配备Python环境和使用Cocotb开源库,新员工能在一小时内搭建环境并在24小时内编写出第一个测试。这表明,硬件验证可以通过转向Python和Cocotb实现更高的效率和更低的学习曲线。 Cocotb的核心机制包括即时反馈、自动化测试发现和丰富的Python生态系统支持。它通过Python的异步编程框架和GPI抽象层实现仿真器的高效交互,支持多种仿真器。此外,Cocotb还提供了替代传统HDL测试平台、SystemVerilog UVM、专用C/C++ PLI/DPI开发等功能,使其成为现代验证工具的重要组成部分。 尽管Cocotb并非完美无缺,但它通过打破硬件验证的孤立生态系统,将之转变为开放、低门槛的领域,极大地提高了效率和可访问性。这不仅是硬件验证领域的变革,也为嵌入式开发和其他硬件相关领域带来了类似的影响。
    1008
    05/11 13:03
    当芯片验证开始像软件测试一样写代码:Cocotb启示录
  • FuSa DFMEA在芯片验证中的借鉴价值
    功能安全(Functional Safety, FuSa)领域的DFMEA(Design Failure Mode and Effects Analysis,设计失效模式与影响分析)是一种以预防为主的系统化、结构化风险管理方法,它通过分析失效模式并优化来降低风险。在芯片验证领域可以参考DFMEA方法论,在思考问题时会更全面。芯片验证经常会假设RTL某项功能可能会出现问题,并构造激励去捕获,这与DFMEA的思路有异曲同工之妙。
  • 数字IC面经合集—30+企业
    本合集汇集了26届秋招一线笔面试真题,涵盖多家头部企业的芯片验证、设计、验证等多个岗位,内容真实还原面试现场,涉及UVM验证流程、AMBA协议、跨时钟域处理等高频考点,并附有详细解答思路与项目拷打实录。
    数字IC面经合集—30+企业
  • 形式验证和formality debug
    Formality 形式验证流程包括导入设计文件、设置约束、匹配和验证步骤。通过逻辑锥和比较点的对比,Formality 使用算法验证两个设计的逻辑等价性。遇到undriven net综合后被工具tie住的问题,通常是因为DC综合的安全修复机制,可能导致Formality验证失败。解决方法包括调整设计或使用不同的综合选项。
    1894
    04/13 09:28
  • 解构苹果 MFi 认证信任密码——安全芯片怎样稳坐智能生态信任 C 位?
    在智能设备生态中,配件接入的安全性早已不是 “可选项” 而是 “必选项”。当用户给手机连接第三方充电线时,来源不明的三方配件可能导致设备故障、信息泄露。品牌方花费大量精力打造的生态,一旦因劣质配件引发安全事故,用户对品牌的信任将大打折扣,辛苦积累的口碑也会毁于一旦。 有些配件厂商为了降低成本,跳过认证流程,直接仿制外观和基础功能,这些产品接入主机时,可能因为协议不匹配导致设备故障;更严重的是,某些
  • 26 届秋招芯片类真实面经收集
    本合集汇集了26届秋招一线笔面试真题,涵盖多家头部企业的芯片架构、设计、验证等岗位,内容真实还原面试现场,涉及UVM验证流程、AMBA协议等高频考点,并附有详细解答思路与项目实录。
    26 届秋招芯片类真实面经收集
  • 芯片验证能力三要点
    芯片验证是保障芯片功能稳定、性能达标、规避设计风险的关键环节,因此要求芯片验证所需能力繁杂多样,但若想真正做好这项工作,有三大核心要素至关重要。
  • 为什么APB和AHB总线如此重要却又充满陷阱?
    本文深入解析了Arm芯片设计中的APB和AHB总线,强调了它们的重要性及其设计中的常见陷阱与解决方案。文章详细介绍了如何应对时序管理、仲裁机制、跨时钟域同步、突发传输边界处理和低功耗设计等方面的挑战,并提供了实战案例和最佳实践建议,旨在帮助工程师更好地理解和掌握总线设计的关键要点。
  • 从6个方向思考memory验证的完备性
    内存验证面临无限大验证空间挑战,在有限时间内高效找出并解决芯片设计问题至关重要。本文提出六点思考方向:输入输出接口验证、命令和数据传输完整性检查、保序验证、Hazard检测、仲裁验证和性能评估。这些方法有助于提高验证效率,确保芯片设计质量。
  • 芯片验证稀疏激励的重要性
    在构造芯片验证的激励时,通常DUT接口的激励产生agent会持续发多个请求给DUT,有时候可能是连续不断,没有bubble的,有时候可能会插几个bubble。但总得来说,一般发请求的数量不会少,而且bubble也不会插得特别多个。如果DUT存在多个接口,那么对于很多人来说可能就是在testcase启动后,每个接口都开始发激励,直到testcase结束。
  • Formality形式验证和SAT算法
    Formality 是一种广泛应用于芯片设计的形式验证工具,主要用于验证不同设计阶段的网表的逻辑等价性。
    Formality形式验证和SAT算法
  • 芯片验证之验证计划
    本文介绍了芯片验证计划的重要性、撰写流程和主要内容。验证计划有助于明确验证任务、评估工作量、制定进度节点、判断验证结束时机、便于文档共享和交接,以及提高团队协作效率。验证计划的内容包括技术部分和技术部分两大部分。技术部分涵盖了验证测试点、验证层次、验证方法、验证环境、验证用例、验证检查、覆盖率和验证完备性分析。管理部分则涉及工具列表、验证进度安排、每阶段验收标准、人力需求和风险评估。编写验证计划需要综合考虑多个因素并不断更新和完善。
    芯片验证之验证计划
  • IC设计中前仿真和后仿真的区别是啥?
    前仿真和后仿真是芯片验证的关键环节,分别侧重于功能正确性和时序正确性。前仿真关注器件参数和逻辑功能,而后仿真则考虑寄生参数和信号完整性。两者在工具使用上相似,但在流程环节上有明显区别,前仿真在RTL设计阶段,而后仿真在布局布线完成后进行。
    3912
    2025/09/18
    IC设计中前仿真和后仿真的区别是啥?
  • 讲点芯片验证中的统计覆盖率
    统计覆盖率(Statistical coverage, SCOV)应该是Arm公司提出来的一种方法,它是一种利用统计可视化从回归中提出和分析激励质量的方法。SCOV可以深入挖掘激励数据,以工程师易于理解的方式提取和呈现被统计事件的信息,并有明确的改进方向。 我前几年就接触了SCOV的一些实现,但一直都不是很重视它,也没有深入思考它的潜在价值。所以我大部分情况下可能只是应付任务的方式,实现一些激励或
    讲点芯片验证中的统计覆盖率
  • RISC-V的发展,进入深水区
    从2023年起,我每年都会参加RISC-V的欧洲峰会,每次也都会做一期短视频聊聊参会感受。今年特别忙,还没来得及做,但其实想法早就有了。如果说第一年峰会的感觉是「RISC-V会是芯片未来」,第二年是「RISC-V更加无处不在」,那今年的感受就是:
    2349
    2025/07/29
    RISC-V的发展,进入深水区
  • 芯片验证之验证策略
    验证策略是在高层次上对项目验证的整体规划,属于战略层面。它需要讲清楚项目验证对象是什么?如何确保验证对象的完备性?还涉及工作流程、进度安排和使用工具等方面的内容。这篇文章纯文字,可能会看得比较累。
    芯片验证之验证策略
  • IC验证方向和知名公司面试题,验证必看!
    关于IC验证方面的杂谈,涉及验证步骤、主要验证岗位和部分企业验证面试问题(有点真东西)。
    5337
    2025/05/12
    IC验证方向和知名公司面试题,验证必看!

正在努力加载...