- 博客(201)
- 资源 (4)
- 收藏
- 关注
RSS订阅
2原创 芯片验证前期调研
芯片验证前期调研(investigation)主要是为了想清楚完成芯片验证会有多少任务，以及每个任务的完成方式、复杂度和风险点，这样可以进一步规划人力和时间。
2026-02-23 21:44:18
153
原创 AXI各通道握手依赖
说白了其实就是为了防止设计人员在写代码时，错误地依赖收到READY信号后才会发出VALID信号。而也只有VIP支持以上的READY模式才能检查出这个bug，如果VIP的READY只是无规律的toggle，那么这种bug就几乎不可能找出来。
2026-02-09 22:51:24
434
原创 讲个AXI死锁场景
Read buffer中的R1需要CPU cache腾出某set/way的空间->CPU cache在腾该set/way的写操作无法被slave接收->slave之所以不接收，是因为slave发现R2还没有做完->R2之所以没有做完，是因为CPU master无法接收R2的数据了->CPU master之所以无法接收新数据，是因为read buffer被R1占据了。
2026-02-08 22:32:43
274
原创 从6个方向思考memory验证的完备性
验证空间是无限大的，用有限的计划时间去完成全部空间验证是不现实的，至少目前是的。那么，就需要在计划的时间内，尽可能更有效率地找出更多芯片设计问题，而且优先把严重问题排除掉。
2026-01-27 22:02:50
72
原创 芯片中的FuSa功能安全
一个芯片宣称具有FuSa，通常需要使用国际公认的标准流程，创建安全机制并制定严格的开发流程，然后找机构做认证，拿到FuSa认证证书，例如ISO 26262和IEC 61508。这些标准指定了行业通用语言和最佳实践参考，以一致的方式实施安全要求。
2025-12-30 10:04:32
354
原创 面试应届生看什么方面
应届生背景千差万别，如何根据一份简历和一个小时面试时间来判断应届生是否匹配当前岗位要求以及是否有发展潜力至关重要。可以从四方面去判断：在校情况、项目情况、基础知识和三观。
2025-10-25 18:02:21
282
原创 SystemVerilog的隐含随机约束
SystemVerilog的隐含随机约束A -> B中，如果表达式A是真的话，那么约束块B起作用。隐含执行器在本质上倾向于显示它们是单向的，但是，这里有一个双向效应，即如果约束B为真的可能性很小的话，则A为真的可能性也非常小。
2025-10-08 19:58:41
364
原创 芯片验证之验证计划
完整的验证计划是做好验证必不可少的条件，一定要用心写好，而且也要多沟通、多对齐和review，这不只是验证工程师的事情，更需要其他相关领域的同事共同参与完善。千万不要怕麻烦，好的验证计划是成功的一半。
2025-09-13 10:33:08
996
原创 分享一种常被忽略的芯片死锁
芯片研发中对死锁二字谈之色变，很多死锁要依靠正向分析去发现，simulation的大量回归也不一定好撞见，更别提如果无效simulation在瞎跑。有些公司使用formal去发现死锁，但formal随着深度的增加，证明难度指数增长，而且死锁一般需要很深的深度才能发现。本文分享一种经常会被错过的死锁模型，只要在我们激励中增强一些特性，依靠simulation来发现它们也不是什么难事的。
2025-09-05 21:45:08
523
原创 讲点芯片验证中的统计覆盖率
统计覆盖率(Statistical coverage, SCOV)应该是Arm公司提出来的一种方法，它是一种利用统计可视化从回归中提出和分析激励质量的方法。SCOV可以深入挖掘激励数据，以工程师易于理解的方式提取和呈现被统计事件的信息，并有明确的改进方向。
2025-08-23 20:51:02
537
原创 SystemVerilog的系统函数和任务
SystemVerilog提供了一些实用的系统函数和系统任务给用户实用，有助于更简单和更高效的完成特定任务。
2025-08-01 21:37:05
1327
原创 记录几个SystemVerilog的语法——覆盖率
通常说的覆盖率有两种类型：code coverage(代码覆盖率)和functional coverage(功能覆盖率)。代码覆盖率是使用EDA工具自动从设计代码里提取出来的，功能覆盖率是用户指定的，用于衡量测试设计意图和功能进展
2025-07-31 20:35:33
1302
原创 芯片验证之验证策略
验证策略是在高层次上对项目验证的整体规划，属于战略层面。它需要讲清楚项目验证对象是什么？如何确保验证对象的完备性？还涉及工作流程、进度安排和使用工具等方面的内容。
2025-07-12 11:19:26
1087
原创 芯片验证理论总述
芯片验证理论应遵循同样的原则，在客观实践中总结理论，且该理论能在客观实践中得到证明，如此反复进行并完善理论，而不是脱离实际的空洞理论。
2025-07-06 10:53:29
614
原创 Xcelium和Questasim的信息调试工具
有时候这些信息过于简短，会使得用户调试起来有点困难，不知道问题出在哪里，因此，Xcelium和Questasim各自都提供了对应的信息调试工具，可以将这些简短信息扩展成更详细信息。Xcelium中是xmhelp信息调试工具，Questasim中是verror信息调试工具。
2025-07-03 09:11:03
525
原创 Formal笔记
Formal三要素：input(输入) + object(对象) + output(输出)。Formal有点像上帝，我们把input和object灌进formal，formal会给出个output来指示结果是否正确。
2025-07-02 20:42:41
513
原创 中芯国际业务及2024财务
中芯国际提供多种技术节点，应用于不同工艺平台，具备逻辑电路、电源/模拟、高压驱动、嵌入式非挥发性存储、非易失性存储、混合信号/射频、图像传感器等多个工艺平台的量产能力，可为客户提供通讯产品、消费品、汽车、工业、计算机等不同终端应用领域的集成电路晶圆代工及配套服务。
2025-06-24 07:45:00
1900
原创 慎用UVM中的uvm_report_enabled()函数
有些人遇到使用+UVM_VERBOSITY传递不同打印等级时，问题会无法复现。这可能和验证环境中用户直接使用了uvm_report_enabled()函数有关系，它可能会导致验证环境的随机状态发生改变，进而影响仿真结果。
2025-06-23 07:45:00
383
原创 分享一种总线死锁场景
总线设计中经常会发生死锁，关键死锁场景还不一定好发现，而且也不好依赖激励去打出来，很多时候要靠正向分析去发现。本文分享一个AXI总线中比较容易发生死锁的场景。
2025-06-22 07:45:00
1329
原创 CPU验证环境关键机制
本文记录CPU验证环境中一些基本但重要的机制，包括验证环境中的编译、CPU启动配置、Tube机制和testcase结束机制。
2025-06-21 07:30:00
708
原创 芯原股份业务及2024年财务
芯原的主要经营模式为芯片设计平台即服务（Silicon Platform as a Service，SiPaaS）模式（简称“SiPaaS 模式”），依托自主半导体IP，为客户提供一站式芯片定制服务和半导体IP授权服务这两大业务
2025-06-13 21:01:54
1569
原创 DAP、JTAG和边界扫描
通过DAP可以选择访问芯片中的Core，这个Core通常是第一个启动的或者是用于管理芯片启动、调试、初始化DVFS和DRAM配置的专用微处理器。
2025-06-10 14:23:07
1413
原创 寒武纪业务及2024年度财务
寒武纪公司的主营业务是应用于各类云服务器、边缘计算设备、终端设备中人工智能核心芯片的研发、设计和销售，为客户提供芯片产品与系统软件解决方案。
2025-06-08 09:50:31
2911
原创 聊聊芯片Debug模块及其应用
在芯片设计中，通常都会增加一些debug(调试)电路逻辑，方便定位软硬件问题。增加这些debug电路的基本要求对系统原有的正常操作无影响，否则可能会出现heisenbug。
2025-06-04 17:17:31
1282
原创 阿姆达尔定律的演进：古斯塔夫森定律
古斯塔夫森定律（Gustafson's Law），又称古斯塔夫森-巴西斯定律（Gustafson-Barsis's Law），是并行计算领域的一项原理，旨在解决并行系统的可扩展性问题。该定律由约翰·L·古斯塔夫森（John L. Gustafson）及其同事埃德温·H·巴西斯（Edwin H. Barsis）于1988年提出，旨在回应阿姆达尔定律（Amdahl's Law）。阿姆达尔定律对并行处理所能实现的性能提升持较为悲观的态度。
2025-06-03 20:28:25
716
原创 如何阅读一本书
主动阅读时牢记 “书谈什么、怎么说、是否有理、与己何关” 四个核心问题 。阅读分为基础、检视、分析、主题四个层次：基础阅读认字知表层；检视阅读限时抓重点，6 步略读；分析阅读不限时、求理解，遵循 11 规则；主题阅读最高阶、最复杂，经准备（设计书目、确定相关书）与实施（找章节、创词汇、立主旨、界议题、客观分析）两阶段。
2025-04-13 09:52:44
1125
原创 刻意练习：如何从新手到大师
刻意练习 = 正确的训练方式 + 长久的专注努力 + 持续反馈改进。在练习过程中，一定要对结果进行分析，哪些达到了，哪些没达到，没达到的要对方法进行改进并进一步尝试，也就是在尝试、犯错、吸取教训、达成目标这几个步骤中反复循环。最后，需要记住的是：由训练引起的认知和生理变化需要继续保持。如果停止训练，它们便开始消失。
2025-04-07 21:06:09
1446
ARMv9-A学习记录.pdf
2022-06-12
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人