3.2.1 工艺无关优化（布尔重构、常数传播、冗余消除）

文档摘要

3.2.1 工艺无关优化（布尔重构、常数传播、冗余消除）在数字电路综合的浩瀚星图中，工艺无关优化（Technology-Independent Optimization, TIO）不是起点，却是一切逻辑精炼的支点；它不依赖晶体管尺寸、阈值电压或金属层堆叠，却以纯粹的布尔代数为刀锋，在网表（netlist）的原始森林里劈开冗余、压缩路径、固化确定性——它不制造硅，却为硅的诞生铺就最致密的逻辑地基。你或许已经用过或，输入一个 RTL 文件，按下回车，几秒后得到一份门级网表。