WangZai

News

行业与学术动态的短讯剪报；每条标明来源。长文请见 Writing。

也看 Blog →

学术小组公开笔记（示例）用定理证明器草拟 RTL 数据通路引理的实践笔记流传（示例）有团队分享将关键算术通路的不变量草稿放进 Lean，再由 kernel 验收，AI 只负责提议脚本。formaltheorem-provingrtlEDA 开源社区纪要（示例）开源后端流与形式化桥接的一次社区讨论（示例）有人提议在综合后网表节点上挂轻量断言导出，方便开源工具链对接模型检测器。formalopen-sourcesynthesisDAC 组委会预告（示例）DAC 2026 将设 AI4EDA 工作坊专题（示例）组委会预告将把学习型布局布线与「可检查生成」并列为议题，强调工业对照实验。ai4edadaceda