芯华章人物志 | 喜欢挑战，更喜欢在钻研中去破解玄机带来的成就感

Ying Chao

要说起为什么加入芯华章，倒不是因为想打造国之重器，我就是想尝试更有挑战性的技术领域...

“

毫不犹豫踏上跨界征途

来芯华章之前，我在AI芯片公司从事并行计算和算子优化相关研究，做了五六年，我是在优化算子的过程中无意敲开了编译器技术之门，之后关注到芯华章有系统地探究编译器相关技术的机会，就毫不犹豫地踏上了从AI算子优化跨界到EDA数字验证研发的征途。

上次毫不犹豫还是在高三毕业的那个暑假，我迷上了扑克牌近景魔术。我花了大量的时间学习和练习技巧，明知幻术虚非实，暗伏乾坤假亦真，最简单也最复杂，离得越近越容易被识破，为了完美呈现表演，一个动作甚至需要练上百次。

就是这次的经历，我发现自己特别能沉下来钻研事物，而透过不断钻研以后掌握的能力、技巧，能给我带来前所未有的成就感，从此魔术也成为了我能随身携带的快乐。

“

如我所愿，真正的挑战来了

加入芯华章以后，我主要专注在形式验证相关领域。

EDA形式化验证需要服务来自人工智能、汽车电子、5G、云计算等不同领域的客户。对于系统级形式化验证，每个客户面对的验证场景也各不相同，有很多问题，行业也没有成熟的技术方案，更没有标准参数可以参考，这时就需要我们通晓不同应用领域的建模语言，才能在不同场景下展开形式验证工作。

我开始自学程序静态分析相关技术，阅读了近百篇论文，反复消化理解，因为我知道最快的提升方法就是慢慢来。除了在编译原理、硬件电路和Verilog等方面深入学习，日常就是和团队一起，针对需要攻克的问题反复研究、反复推敲，不断的试错、推演、再论证，如此循环往复，直到证明bug有尽头。

“

解难题和设计一个魔术一样

有一次做C++与Verilog等价性检查时，需要把C++指针操作翻译成对应的数学模型，其中的难度在于国内很少有这方面的文献或者相关知识。如果不能解决这个难题，后续验证工作都无法推进。通过翻阅大量资料，以及结合实际项目情况，最后我们成功地创建了一套合理的算法模型去处理指针建模问题。

解难题是一个执果索因并不断迭代的过程，在方法学上与设计一个魔术异曲同工。

首先需要知道观众会被什么样的魔术效果惊讶到（对应明确系统功能需求），然后根据效果逆向设计整个魔术流程（对应系统的实现），期间需要不断迭代，向观众表演（对应系统的测试）、去寻找表演最佳视角（对应系统与用户良好的交互方式）、使用最自然的手法（对应系统实现时需要尽量使用熟悉且稳定的技术栈）、适时的错误引导（对应系统实施时技术与工程落地之间的tradeoff）。经过了这些不断地打磨与改进，最后才能提炼出一个好的魔术。

彩蛋时间

点击视频回到芯华章三周年近景魔术表演现场

“

小小的成就有大大的收获。我发现写代码抓BUG和变魔术一样，你的魔术不先打动自己，又怎么打动观众呢？而成就感就是我用心坚守的那份热爱。