https://xiejiayun.github.io/tags/%E5%BD%A2%E5%BC%8F%E5%8C%96%E9%AA%8C%E8%AF%81/Recent content in 形式化验证 on Jiayun's BlogHugozh-cnFri, 15 May 2026 00:00:00 +0000https://xiejiayun.github.io/post/good-read-ocaml-in-space-borealis/Fri, 15 May 2026 00:00:00 +0000https://xiejiayun.github.io/post/good-read-ocaml-in-space-borealis/<blockquote> <p>📌 <strong>好文共赏 | Editor&rsquo;s Pick</strong></p> <p>原文：<a href="https://gazagnaire.org/blog/2026-05-14-borealis.html">O(x)Caml in Space</a> | 作者：Thomas Gazagnaire（Parsimoni · Tarides · MirageOS 创始团队） | 发布：2026-05-14 | 阅读时长：约 18 分钟</p>https://xiejiayun.github.io/post/formal-verification-chip-design-mathematical-turn-2026/Fri, 08 May 2026 00:00:00 +0000https://xiejiayun.github.io/post/formal-verification-chip-design-mathematical-turn-2026/<h2 id="引言14-的首次成功率">引言：14% 的首次成功率</h2> <p>Wilson Research Group（Siemens EDA 赞助）2024 年的行业调查报告中有一个数字足以让芯片公司的 CFO 失眠：<strong>ASIC/SoC 项目的首次流片成功率仅为 14%</strong>——这是 20 多年追踪记录中的最低值。</p>