这个站点做什么
- Blog / Notes：思考与概念卡片
- Papers / Courses / Books：阅读与学习清单
- GitHub：开源项目收藏
- Games：浏览器内纯前端逻辑挑战
技术与可移植性
Astro 静态构建 + Markdown content collections。内容与主题都在仓库里， 可部署到 Cloudflare Pages、GitHub Pages 等任意免费静态托管。
联系
邮箱占位：hello@example.com
About
关于 WangZai
研究方向聚焦数字 IC 领域的 AI4EDA、形式化验证、定理证明、逻辑综合与验证。 本站主题「Formal Lattice / 形式晶格」把证明树与电路迹线编织在同一片网格上。
AI4EDA形式化验证定理证明逻辑综合数字 IC