Blog
较长的思考、实验与工程札记。
为什么把个人站做成「形式晶格」——证明树与电路迹线的意象。
从可综合性、复位与时钟假设到形式化前置条件，一份可复用的综合前自检表。
学习型 EDA 能提速启发式搜索，但正确性边界仍需形式化验证与可证明约束来兜底。
把数字电路看成图结构时，表示学习能帮上什么忙——一份提纲级速写。