Xbox 360 CPU设计漏洞复盘：未执行的指令如何通过推测执行搞垮系统？
这篇文章详细讲述了作者在Xbox 360开发期间发现的一个严重CPU设计缺陷。为了性能，IBM在PowerPC芯片中加入了一条可绕过L2缓存的特殊预取指令`xdcbt`，但这破坏了内存一致性。作者最初发现因滥用该指令导致的数据损坏，但在修复...
标签索引 / 第 2 页
芯片设计
这个标签下有 21 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
打破硬件“黑盒”：开源工具SpiceCrypt可解密LTspice加密模型
近日，开发者推出了名为 SpiceCrypt 的 Python 开源库，旨在解密 LTspice 仿真软件中使用的加密模型文件。在电子设计领域，芯片供应商常通过加密 SPICE 模型来保护知识产权，防止用户窥探其内部电路参数。SpiceCr...
深入剖析DDR4：从上电到高速运行的初始化与校准全流程
本文详细解析了DDR4 SDRAM在系统上电后，进入可用状态前必须经历的四个关键阶段：上电初始化、ZQ校准、VrefDQ校准以及读写训练。文章通过电路图和状态机，深入浅出地阐述了ZQ校准如何通过外部精密电阻调整内部阻抗以匹配工艺偏差，以及读...
攻克5000万引脚设计瓶颈：3D芯片封装的智能化新路径
随着3D IC（集成电路）和芯粒（Chiplet）技术的普及，芯片封装的复杂度呈指数级上升，面临着处理高达5000万个引脚的巨大工程挑战。本文深入探讨了如何利用AI辅助算法和先进的EDA工具，来应对海量引脚带来的信号完整性、功耗及布线拥塞问...
AI强化学习赋能形式化验证：如何训练你的程序验证器
本文深入探讨了将深度强化学习应用于程序验证器的创新方法。文章借鉴类似AlphaZero的搜索算法，介绍了如何训练AI模型在复杂的代码搜索空间中高效寻找漏洞或生成正确性证明。这一突破性尝试旨在解决传统形式化验证成本高昂、门槛极高的问题，对于提...
技术深挖：如何利用“代数效应”技术优化芯片硬件仿真？
本文深入探讨了Jane Street如何利用OCaml语言中的“代数效应”这一高级编程概念，将其从理论玩具示例逐步推向实际的工程应用。文章重点展示了代数效应在Hardcaml（一种用OCaml编写硬件电路的工具）仿真环境中的强大作用，通过优...
助力芯片设计自动化：BSC发布TuRTLe榜单，统一评测LLM生成Verilog能力
巴塞罗那超级计算中心（BSC）推出了“TuRTLe”排行榜，这是一个专门用于评估大语言模型（LLM）在寄存器传输级（RTL）硬件描述语言生成能力的标准化平台。针对芯片设计中至关重要的 Verilog 代码生成环节，该榜单填补了行业空白，相关...
倒计时两周：揭秘芯片流片前的最后冲刺
本文详细记录了芯片项目距离流片仅剩两周时的冲刺状态。作者分享了物理验证、设计规则检查（DRC）以及版图原理图比对（LVS）等关键环节的实践经验。文章不仅展示了芯片设计流程中的技术细节，更深刻揭示了这一高风险阶段对工程团队心理与执行力的双重挑...
摆脱函数式编程桎梏：构建真正的“乐高式”异步软件架构
文章批判了软件行业对加深类型系统的痴迷，认为这是一种错误方向。作者指出，函数式编程虽然优雅，但其同步、阻塞的控制流本质限制了软件的“乐高式”组合能力，难以适应现代硬件和分布式系统的需求。文章提出，我们需要转向一种新的架构范式：包含简单的传输...
Tinygrad 五年征程：挑战AI芯片霸权
Tinygrad项目创始人George Hotz回顾五年历程，强调软件在AI训练中的核心地位。项目始于2020年10月，现6人团队，代码库达18,935行，正移除LLVM依赖以纯Python驱动AMD GPU。Tinygrad性能已超越Py...