很高兴看到香山和国产EDA全功能适配——合见FPGA仿真平台支撑起第三代香山昆明湖16核的全流程验证与软硬件协同开发。网页链接

更重要的是，合见的UVS+平台和香山团队自研的敏捷开发工具形成适配，成为国内首款原生支持香山Picker 流程的 EDA 工具。Picker 是香山团队自研的芯片验证辅助工具，核心功能之一是将 RTL 设计（.v/.scala/.sv）打包为动态库（.so），并通过多种高级语言（目前支持 C++、Python、Java、Scala、Golang）的编程接口来驱动电路，从而让用户使用丰富的软件生态、减少编译时间并实现 RTL 源码零泄露。最直接的效果就是可以用Python来生成测试用例，进而可以用AI大模型来自动生成Python测试用例——这套流程的准确率接近100%，远高于AI自动生成Verilog。

Picker工具发表在今年的体系结构领域学术会议ISCA。技术思路与具体技术细节可参考这篇文章：网页链接