很高兴看到香山可以为国产计算光刻EDA工具作点贡献。如今，香山处理器已经成为多家国产EDA企业的试金石，因为它是目前全世界范围在工业级高性能处理器核中唯一开源的。
​
​我们越来越认识到，开源不仅仅是设计源代码和文档的公开，更重要的是将会带来设计与验证方法、工具领域的变革。就如20多年前，随着开源软件的发展，2000年左右斯坦福大学Dawson Engler教授尝试用编译器技术来扫描大型开源软件源代码来找bug，并以开源Linux为对象验证该软件测试技术，发表一篇经典论文《An Empirical Study of Operating Systems Errors》（SOSP'01）。同期，当时在UIUC的周源源教授也是基于开源软件发展一系列软件测试新方法，推动了这个领域的发展。

可以说，开源软件生态的完善和软件测试技术的发展是相辅相成的——开源软件促进了软件测试领域的发展，而软件测试技术的进步则提高了开源软件的质量。如今，我们正看到开源硬件与芯片验证方法、EDA工具之间也在形成这种相辅相成的效果。

http://t.cn/A6YjdDQo