为什么要、为什么能进行开源分包验证
开源芯片使得开源分包验证成为可能
Created Jan 11, 2024 - Last updated: Jan 11, 2024
作者:包云岗 https://www.zhihu.com/question/632780730/answer/3331788175
开源有可能进一步对芯片验证带来颠覆性影响。一般而言,芯片设计源代码属于一个芯片公司最核心的商业机密,决不允许外传,很多企业甚至把源代码放在红区,要断网,不能带手机,甚至还要加摄像头实时监控。因此,要验证这些芯片设计源代码,只能招聘大量的验证工程师在公司内部完成。但是,开源芯片则完全不同,就如香山所有的源代码都是公开的,任何人都可以随时随地访问。那为什么不能调动全世界开源社区的力量一起来验证?因此,我们开始探索基于开源模式的众包式验证。

于是我们启动了一个开源芯片验证项目,目标是建立一个类似Hugging Face这样开源社区,让更多人可以参与到开源芯片验证中来。要实现这个目标当然会面临很多挑战,尤其是相比于软件领域,芯片领域的开发者基数小几个数量级,芯片验证需要复杂的仿真环境等等。因此,我们也设计开源芯片验证“三步走”规划,逐步来实现目标。我们很期待到第三步,可以由开源社区一起来验证香山处理器核。

这是我们畅想的开源芯片验证愿景目标:在不久的将来,不管是开源芯片设计还是商业芯片设计都可以提交到一个开源芯片验证平台,通过该平台聚集全世界的开发者共同参与验证。这个平台支持不同的语言来参与验证工作,比如Python、Java、Go等等,这个平台也会通过一些机制来保障验证质量,提供代码覆盖率报告等信息。这样,整个芯片领域的验证模式将会发生巨大的改变,软件开发者也能参与芯片开发,而芯片企业也不再需要招聘大量的验证工程师。
