近日，北京开源芯片研究院（以下简称“开芯院”）成功举行以“芯片验证中的‘灵珠‘和‘魔丸‘”为主题的谈芯沙龙活动，中国科学院计算技术研究所副研究员、北京开源芯片研究院FPGA敏捷验证组负责人石侃博士作为嘉宾参与此次分享。

石侃博士表示，在现代芯片开发中，验证环节通常占据了50%~70%的时间。随着芯片复杂度的不断增加，验证的难度也在随之增长。传统的芯片验证方法有几个行业公认的“灵珠”，比如基于软件仿真的验证方法学、基于FPGA的原型验证、基于特殊硬件的仿真加速器等。然而，这些方法也各自存在缺陷和不足。为解决验证的效率瓶颈，研究组在过去几年一直在探索芯片敏捷验证这颗“魔丸”，包括构建更高效的硬件验证平台、EDA工具与方法学，并基于FPGA做了一些前期尝试，希望通过这种方式帮助现代芯片验证“重塑肉身”。

此次重点分享了在过去几年，研究组围绕芯片敏捷验证方面所做的一些尝试和研究工作，包括处理器系统级验证框架ENCORE，硬件化断言转换工具Hassert，面向高层综合设计的敏捷验证工具Hercules，以及单元级验证加速、形式化验证等内容。

活动现场氛围活跃，观众围绕芯片验证技术的前沿趋势、面临挑战及应对策略等话题展开深入探讨，内容涵盖硬件架构、外部储存、仿真后端、面积与性能评估等多个方面。随着芯片行业的持续创新与发展，芯片验证技术将面临新的挑战与机遇。唯有通过持续的探索与创新，才能推动芯片验证技术不断向前发展。