Xbox 360 CPU设计漏洞复盘:未执行的指令如何通过推测执行搞垮系统?
这篇文章详细讲述了作者在Xbox 360开发期间发现的一个严重CPU设计缺陷。为了性能,IBM在PowerPC芯片中加入了一条可绕过L2缓存的特殊预取指令`xdcbt`,但这破坏了内存一致性。作者最初发现因滥用该指令导致的数据损坏,但在修复...
这篇文章详细讲述了作者在Xbox 360开发期间发现的一个严重CPU设计缺陷。为了性能,IBM在PowerPC芯片中加入了一条可绕过L2缓存的特殊预取指令`xdcbt`,但这破坏了内存一致性。作者最初发现因滥用该指令导致的数据损坏,但在修复...
近日,开发者推出了名为 SpiceCrypt 的 Python 开源库,旨在解密 LTspice 仿真软件中使用的加密模型文件。在电子设计领域,芯片供应商常通过加密 SPICE 模型来保护知识产权,防止用户窥探其内部电路参数。SpiceCr...

ECS / OSS / CDN / 云数据库一站采购,常用云资源集中选配;新用户与续费均有专场优惠,适合个人开发者与小团队长期使用。
本文详细解析了DDR4 SDRAM在系统上电后,进入可用状态前必须经历的四个关键阶段:上电初始化、ZQ校准、VrefDQ校准以及读写训练。文章通过电路图和状态机,深入浅出地阐述了ZQ校准如何通过外部精密电阻调整内部阻抗以匹配工艺偏差,以及读...
随着3D IC(集成电路)和芯粒(Chiplet)技术的普及,芯片封装的复杂度呈指数级上升,面临着处理高达5000万个引脚的巨大工程挑战。本文深入探讨了如何利用AI辅助算法和先进的EDA工具,来应对海量引脚带来的信号完整性、功耗及布线拥塞问...
本文深入探讨了将深度强化学习应用于程序验证器的创新方法。文章借鉴类似AlphaZero的搜索算法,介绍了如何训练AI模型在复杂的代码搜索空间中高效寻找漏洞或生成正确性证明。这一突破性尝试旨在解决传统形式化验证成本高昂、门槛极高的问题,对于提...
本文深入探讨了Jane Street如何利用OCaml语言中的“代数效应”这一高级编程概念,将其从理论玩具示例逐步推向实际的工程应用。文章重点展示了代数效应在Hardcaml(一种用OCaml编写硬件电路的工具)仿真环境中的强大作用,通过优...
巴塞罗那超级计算中心(BSC)推出了“TuRTLe”排行榜,这是一个专门用于评估大语言模型(LLM)在寄存器传输级(RTL)硬件描述语言生成能力的标准化平台。针对芯片设计中至关重要的 Verilog 代码生成环节,该榜单填补了行业空白,相关...
本文详细记录了芯片项目距离流片仅剩两周时的冲刺状态。作者分享了物理验证、设计规则检查(DRC)以及版图原理图比对(LVS)等关键环节的实践经验。文章不仅展示了芯片设计流程中的技术细节,更深刻揭示了这一高风险阶段对工程团队心理与执行力的双重挑...
文章批判了软件行业对加深类型系统的痴迷,认为这是一种错误方向。作者指出,函数式编程虽然优雅,但其同步、阻塞的控制流本质限制了软件的“乐高式”组合能力,难以适应现代硬件和分布式系统的需求。文章提出,我们需要转向一种新的架构范式:包含简单的传输...
Tinygrad项目创始人George Hotz回顾五年历程,强调软件在AI训练中的核心地位。项目始于2020年10月,现6人团队,代码库达18,935行,正移除LLVM依赖以纯Python驱动AMD GPU。Tinygrad性能已超越Py...