一种高效高速的大容量FPGA电路功能验证方法  

An Efficient and High-Speed Functional Verification Method of the Large-Capacity FPGA Circuit

作　　者：丛红艳[1] 于宗光[1] 闫华 单悦尔[1] 胡凯[1] 董宜平 

机构地区：[1]中国电子科技集团公司第五十八研究所,江苏无锡214035 [2]无锡中微亿芯有限公司,江苏无锡214035

出　　处：《半导体技术》2017年第1期69-73,共5页Semiconductor Technology

基　　金：国家科技重大专项资助项目(2015ZX01018101-005);江苏省自然基金青年基金资助项目(BK20160202)

摘　　要：对大容量FPGA芯片进行功能验证时,如何提高验证效率以及验证用例的覆盖率已经成为缩短总体产品时间所面临的挑战。针对上述问题,提出了一种高效、高速的大容量FPGA电路验证方法,可以根据验证用例需求,利用FPGA预先配置一定的功能,通过采取不同的配置文件得到最优网表。该验证方法具有灵活动态配置网表功能,可以节省仿真资源80%左右,大幅度缩短仿真时间,仿真器运行速度至少提高20倍,同时可以提高验证效率,最大限度地提高验证电路的覆盖率,能够满足大容量电路功能仿真的需求。该验证方法已成功应用于大容量FPGA电路功能验证工程实践中。For the large-capacity FPGA chip functional verification,how to improve the verification efficiency and the verification cases coverage rate has become a challenge to reduce the total product time.For the above problem,an efficient and high-speed method for the verification of the large-capacity FPGA circuit was presented,which could generate the optimal netlist based on the demands of verification test cases by pre-setting some functions by FPGA and taking different configuration files. This verification method has the flexible function to dynamically configure the netlist,which can save about 80% of simulation resources,reduce the simulation time significantly and increase the speed of the emulator by at least 20 times,meanwhile can improve the efficiency of verification and maximize the coverage rate of the verification circuit to meet the needs of large-capacity circuit function simulation. This verification method has been successfully applied to the engineering practice of the large-capacity FPGA circuit function verification.

关 键 词：FPGA电路 验证用例 覆盖率 验证方法 动态配置 最优网表 

分 类 号：TN407[电子电信—微电子学与固体电子学]