- 资讯公开站Semiconductor Engineering
Chip Industry Technical Paper Roundup: Oct. 6
Low-contact-resistance WSe₂ transistors; backside clock meshes for 2nm GAAFETs; row-parallel processing in DRAM; HBF for high-throughput LLM serving; formal security analysis of CAN XL; abstraction and validation from ph…
- 资讯公开站ScienceDaily Matter & Energy
Scientists find a surprising clue to why the universe’s expansion doesn’t add up
Tiny magnetic fields created shortly after the Big Bang may help explain the long-running disagreement over how fast the universe is expanding. Detailed simulations show that these primordial fields could have changed th…
- 资讯公开站Semiconductor Engineering
Tracing Hardware Design From Physical Devices to RTL (Infineon, TU Munich)
Researchers at Infineon Technologies and Technical University of Munich published a technical paper titled “From Physical Devices to RTL Models: Abstraction and Validation in Hardware Engineering.” Abstract: “This paper …
- 资讯公开站Digitimes
China car exports to Europe severely underestimated, warns UBS
According to UBS, nearly twice as many China-made automobiles are being shipped to Europe as are being registered there, partly because trucking shortages delay deliveries from ports to dealers. The gap adds a new wrinkl…
- 资讯公开站Semiconductor Engineering
Why LLMs Are The Best Thing To Happen To Chip Design
- 资讯公开站CNX Software
LakeShark firmware turns LilyGO T-Display P4 into a handheld ESP32-P4 SDR scanner
LakeShark is open-source firmware by Samuel Reynolds (SAMS0N1TE) that turns the ESP32-P4-based LilyGO T-Display P4 into a handheld SDR scanner. Paired with an RTL-SDR Blog V3 or V4 dongle, it supports P25 Phase I trunkin…
- 资讯公开站Energy Storage News
Origin Energy的650MWh Mortlake BESS在澳开始商业运营
Origin Energy’s 650MWh Mortlake BESS begins commercial operations in Australia
- 资讯公开站Semiconductor Engineering
芯片产业技术论文汇总：9月29日
Chip Industry Technical Paper Roundup: Sept. 29
涵盖A7 CFET与A10 NSFET对比、晶圆级亚5nm MoS₂晶体管、3D HI多千瓦供电、铜微结构与TSV残余应力、GPU Rowhammer攻击、门级RTL木马定位、LLM推理中HBM与主机内存并发访问等。
- 资讯公开站Energy Storage News
Gamuda与Yanara签署澳洲300MW光储项目EPC合同
Gamuda and Yanara sign EPC contract for 300MW solar-plus-storage project in Australia
Gamuda Australia与Yanara签署了位于维多利亚州西部Mortlake能源枢纽一期（MEH-1）的EPC合同。
- 资讯公开站Ars Technica
唐老鸭的叔叔部分以沃纳·冯·布劳恩为原型
Donald Duck's uncle was partly based on Wernher von Braun
Ars Technica 文章指出，迪士尼角色「路德维希·冯·德雷克」（唐老鸭的舅舅、自称「世界著名的外太空权威」）的创作灵感部分来自火箭科学家韦纳·冯·布劳恩。该角色诞生约 65 年前，正值太空竞赛初期，迪士尼借助冯·布劳恩等科学家的公众形象塑造这一形象。摘要未提供更多细节。
意义：揭示太空竞赛时期科学家公众形象如何渗入流行文化，对理解科技传播与科普叙事有参考价值。
- 论文公开站arXiv
EquivSVA：跨等价 RTL 实现的行为断言形式化验证数据集
EquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations
摘要显示，EquivSVA 是一个围绕行为族组织的形式化验证数据集，每个族包含同一外部可观察行为的四个结构不同 RTL 实现、共享接口级金标准属性、三个受控变异体及形式验证证据。数据集涵盖 12 个类别、120 个行为族、480 个参考 RTL 实现、914 个金标准属性和 360 个变异体，每个族均通过固定 17 项验证套件，并提供了族安全的训练、开发与测试划分。
意义：为 LLM 生成 SystemVerilog 断言提供行为级评测基准，可检验断言是否捕捉外部可观察行为而非实现细节，推动形式化验证与代码生成研究。
- 资讯公开站Semiconductor Engineering
检测综合后门级网表中的硬件木马（威斯康星大学麦迪逊分校、Marist）
Detecting Hardware Trojans in Synthesized Gate-Level Netlists (UW-Madison, Marist)
摘要显示，威斯康星大学麦迪逊分校与Marist大学的研究者发表论文《Demystifying Gate-Level Localization of RTL Trojans》，发现RTL木马在综合后呈现稳定的结构与信号流模式，可借助针对性启发式方法而非通用机器学习特征学习进行有效检测，并提出轻量级启发式方案LoRD。
意义：为芯片设计安全提供轻量级、可解释的硬件木马检测思路，降低对大规模ML训练的依赖。
- 资讯公开站Semiconductor Engineering
智能体在更高抽象层级用HLS能设计出更好的芯片吗（UCLA）
Can Agents Design Better Chips When Operating At A Higher Level Of Abstraction Using HLS (UCLA)
摘要显示，UCLA 研究人员发表技术论文《Can Agents Design Better Chips with a Higher Level Abstraction?》，探讨 LLM 智能体在芯片设计中的应用。论文指出，现有方法大多直接在 RTL 层面操作，作者转而研究智能体能否利用更高层级抽象（如 HLS）来设计更好的芯片，并对比了直接方法与更高抽象层级方法。
意义：为 LLM 智能体参与芯片设计提供新思路：从 RTL 转向 HLS 等更高抽象层级，可能降低设计复杂度并提升自动化效果。
- 资讯公开站CNX Software
Realtek RTL8773J：支持蓝牙 7 与 HDT 的 Cortex-M55/M33 微控制器
Realtek RTL8773J – A Bluetooth 7-ready Cortex-M55/M33 microcontroller with HDT support
摘要显示，瑞昱 RTL8773J 系列是目前已知首款面向蓝牙 7 的微控制器家族，采用双核架构：200 MHz Cortex-M55 应用核与 Cortex-M33 传感/网络核，并集成高保真编解码 DSP、ANC/Talk Clear/关键词识别加速器，片上最高 2MB SRAM、8MB PSRAM 与 16MB flash，支持蓝牙 6.2/7 及 2.4 GHz 私有协议。蓝牙 7 核心特性为 HDT，链路速率最高 7.5 Mbp…
意义：蓝牙 7 与 HDT 将无线音频与数据传输带宽提升数倍，为 TWS、可穿戴与边缘 AI 语音设备提供更高集成度单芯片方案。
- 资讯公开站Semiconductor Engineering
硅心脏地带想成为美国下一个芯片重镇
The Silicon Heartland Wants To Be America’s Next Chip Powerhouse
摘要显示，美国“硅心脏地带”地区正试图成为下一个芯片制造重镇。英特尔可能是当地最知名的企业，但材料供应商、封装中心和量子初创公司才是决定该地区能否形成真正半导体生态系统的关键。文章指出，该区域的发展不仅依赖大型芯片制造商，还需要配套供应链与新兴技术企业的协同。
意义：该趋势表明半导体区域竞争正从单一制造向材料、封装、量子等全生态延伸，开发者需关注供应链区域化带来的新机会。
- 论文公开站arXiv
AI从应用到硅片的权威验证：一人五周流片RISC-V，零人工审查
AI with Authority, from Application to Silicon
摘要显示，生成式AI使机器验证从昂贵开销变为高效必需。一名研究人员在五周内，利用消费级AI订阅，指挥AI代理从应用代码经验证编译器到RISC-V处理器流片，全程无人工审查、无人工编写RTL。所采用的Salt方法基于证明内核，杜绝幻觉证明，验证从Lean 4内核到硅边界SAT检查逐环相扣。记录显示错误账本编号至#256，零错误证明进入记录。
意义：展示AI代理在硬件设计中的可靠协作范式，验证自动化证明与人类监督的结合，对提升AI开发效率与信任度有指导意义。
