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