过程中发现关键bug或提出重要改进建议的工程师，同样给予奖励。
将eda工具应用纳入绩效考核: 在工程师的绩效评估中，适当考虑其在推动和应用自研eda工具方面的贡献。
这项“eda赋能提速计划”的推行，如同在启明芯内部点燃了一场关于设计效率和方法的革命。
场景一：“蜂鸟”基带模块的综合挑战
负责“蜂鸟”项目基带信号处理核心模块设计的前端工程师小刘，正为一个极其复杂的有限状态机（fs）逻辑的综合结果而头疼。他使用最新版的design piler反复尝试了各种约束和优化选项，但综合出来的网表要么时序不达标，要么面积过大。就在他一筹莫展之际，来自east团队的、那位前synopsys架构师老王找到了他。
“小刘，试试用‘女娲’跑一下？”老王微笑着建议，“我们最近针对复杂状态机逻辑的优化算法做了一次大更新。”
小刘将信将疑地将rtl代码和约束文件导入到“女娲”的命令行界面（gui版本仍在开发中），在老王的指导下设置好参数，点击了运行。不到十分钟，“女娲”就给出了结果。小刘打开报告一看，顿时惊呆了——不仅所有时序路径都满足了要求，而且最终的门级网表面积比dc的结果缩小了近12！
“这……这怎么做到的？！”小刘难以置信。
老王解释道：“‘女娲’采用了一种基于‘布尔可满足性’（sat）的优化技术，能够更智能地探索逻辑等价变换的空间，对于某些特定类型的复杂逻辑（比如状态机、算术运算），往往能找到比传统启发式算法更优的解。这也是林总当初给我们指引的一个重要方向。”
从那天起，小刘成为了“女娲”工具的忠实拥趸，并开始积极地向其他同事推荐。
场景二：“龙芯二号”的布线难题
负责“龙芯二号”视频解码引擎后端物理实现的张伟团队，遇到了一个棘手的全局布线拥塞（routg nstion）问题。由于该模块逻辑密度极高，且内部存在大量的高扇出（high fan-out）时钟和复位信号，商业p&r工具在全局布线阶段就报告了多处严重的拥塞热点，导致后续的详