文章核心观点 - 行业在追求重大技术突破时可能忽视通过持续微小改进积累所带来的巨大收益 [3][4] - 通过多个案例表明，在芯片设计等领域，许多小的优化和改进最终能产生显著效果，其长期回报可能优于孤注一掷追求颠覆性变革 [4][5][8] 电子系统级设计发展 - 过去二十年在提高设计和验证抽象层次、软硬件协同设计等ESL目标上进展有限，但当前已能设计出规模和复杂度比以往大数千倍的系统 [3][4] - 尽管在系统性能或功耗分析方面仍存在局限性，但可通过预留裕量、实时测量等方法来弥补 [4] 电源优化策略 - 在典型设计中，通过工具可节省10%到15%的电力，但单次改进可能被忽视，而竞争对手通过在设计过程每一步都注重功耗，积累微小改进从而实现显著的低功耗效果 [5] - 低功耗设计成果可能被劣质软件所抵消，尤其是当软件未能利用硬件为提高能效而内置的功能时 [5] 形式化验证工具的演进 - 形式化验证工具在缺乏重大变革的情况下，从一次版本更新到下一次，工具速度可提升25%甚至翻倍，性能呈指数级增长 [7] - SAT求解器作为形式化验证的基础，在过去20年不断有新的突破性求解器出现，如Chaff、zChaff、MiniSAT，近五年Kissat、MapleSAT等新求解器的结果远超往年 [7] - 尽管大型数据中心提供强大算力，但对形式化证明这类NP难问题的加速效果是线性的，而算法和工程改进带来的提升是指数级的，增加计算能力并不会带来显著差异 [8]