- 资讯公开站CNX Software
OpenMote——基于ESP32-S3的可编程通用遥控器，采用Wiimote外壳（众筹）
OpenMote – An ESP32-S3 programmable universal remote in a Wiimote shell (Crowdfunding)
摘要显示，Hat & Hammer 推出 OpenMote，一款采用任天堂 Wiimote 经典外形的 ESP32-S3 可编程万能遥控器，支持 WiFi、蓝牙 LE、红外收发、六轴 IMU 与 Home Assistant 集成，可控制智能家居与媒体中心，并可作为蓝牙游戏手柄，无需依赖云服务。产品分「Ready To Go」整机版与「Mod Your Own」裸板版，后者可直接装入现有 Wiimote 外壳。另内置麦克风、扬声器及 Q…
意义：展示了 ESP32-S3 在开源智能家居遥控与本地化控制场景的硬件设计思路，为开发者提供可扩展、免云端的参考方案。
- 开源项目公开站GitHub
naja-verilog：独立门级 Verilog 解析器
najaeda/naja-verilog — A standalone structural (gate-level) verilog parser
GitHub 项目 najaeda/naja-verilog 是一个独立的门级（结构级）Verilog 解析器，目前获约 43 颗星，定位为独立解析工具。
意义：门级网表解析是 EDA 与硬件形式化验证的基础能力，独立解析器可嵌入各类工具链，降低对商业 EDA 工具的依赖。
- 资讯公开站CNX Software
雅特力 AT32F406/AT32F408 Cortex-M4F MCU 可选高速 USB OTG PHY
Artery AT32F406 and AT32F408 Cortex-M4F MCUs feature optional high-speed USB OTG PHY
雅特力科技推出 AT32F406 与 AT32F408 两款 Arm Cortex-M4F 微控制器，主频最高 216 MHz，带 DSP 与浮点单元，最高配 512 KB Flash、192 KB SRAM，其中 F408 增加集成 PHY 的高速 USB OTG。
意义：为工业与 USB 外设开发提供高主频、带 FPU 的国产 MCU 选择，F408 集成高速 USB PHY 可简化硬件设计。
- 论文公开站arXiv
AI从应用到硅片的权威验证：一人五周流片RISC-V，零人工审查
AI with Authority, from Application to Silicon
摘要显示，生成式AI使机器验证从昂贵开销变为高效必需。一名研究人员在五周内，利用消费级AI订阅，指挥AI代理从应用代码经验证编译器到RISC-V处理器流片，全程无人工审查、无人工编写RTL。所采用的Salt方法基于证明内核，杜绝幻觉证明，验证从Lean 4内核到硅边界SAT检查逐环相扣。记录显示错误账本编号至#256，零错误证明进入记录。
意义：展示AI代理在硬件设计中的可靠协作范式，验证自动化证明与人类监督的结合，对提升AI开发效率与信任度有指导意义。
