欢迎来到 Formal Lattice

这是站点的第一篇博客。

Formal Lattice（形式晶格） 想表达两件事：

1. 形式化：规格、断言、定理——把「正确」钉在数学结构上。
2. 晶格 / 网格：数字电路里的互连、综合后的网表、验证里的可达性图。

之后这里会陆续写：AI4EDA 实验笔记、形式化验证工具链踩坑、定理证明里那些「差一点就 QED」的瞬间。

内容可随时用 Markdown 增删；构建后即可发布到任意静态托管。

← 返回 Blog