and Science,2019,41(1):1 (方建滨，杜琦，唐滔，等.飞腾处理器与商用处理器性能比较.计算机工程与科学，2019,41(1)：1) [9]Hu X D,Ke X M,Yin F,et al.Shenwei-26010:a high-performance many-core processor.Journal of Computer Research and Development,2021,58(6):1155 (胡向东，柯希明，尹飞.等.高性能众核处理器申威26010.计算机研究与发展.2021.58(6)：1155) [10]Hong W J,Li K L,Quan Z,et al.PETSc's heterogeneous parallel algorithm design and performance optimization on the Sunway TaihuLight system.Chinese Journal ofComputers,2017,40(9):2057 (洪文杰，李肯立，全哲，等.面向神威·太湖之光的PETSe可扩展异构并行算法及其性能优化.计算机学报，2017， 40(9):2057) [11]Meng X F,Gao X.Cong M,et al.System performance optimization and analysis of Godson-3A multiprocessor Journal of Computer Research and Development,2012,49(S1):137 (孟小甫，高翔，从明，等.龙芯3A多核处理器系统级性能优化与分析.计算机研究与发展2012,49(S1):137) [12]Zhao H,Wan J W,Bao Z G,et al.Application research of proprietary and controllable technology in the field of test task.Journal of Spacecraf TT&C Technology,2015,34(2):109 (赵辉，万俊伟，鲍忠贵，等.自主可控技术在试验任务领域的应用研究.飞行器测 报2015,34(2)：109) [13]Yuan G X,Zhang Y Q,Yuan L.State of the art analysis of China HPC 2021fI.Computer Engineering Science, 2021,43(12)2091 (袁国兴，张云泉，袁良.2021年中国高性能计算机发展现状分析阳计算机工程与科学，2021,43(12：2091) [14]Cai F,Shen HH,Gao X.The design and implementation of north-bridge used in Godson-2 prototype system.Chinese High Technology Letters,2010,20(1):61 (蔡飞，沈海华，高翔.龙芯2号原型系统北桥的设计与现，高技术通讯，2010,20(1)少61) [15]Liu D,Li X,Xu S Y,et al.Design and implementation of homemade information processing platform.Journal of Telemetry.Tracking and Command,2018,39(6):7 (刘达，李鑫，徐松艳，等.国产化信息处理平台役沐与实现.遥测遥控，2018,396)：7) [16]Zhu YS,Lu Y K,Liu L,et al.Design of AIO security computer based on Loongson CPU.Industrial Control Compu1er,2020,33(11):16 (朱书杉，路永轲，刘磊，等.基于龙梦处理器的一体式安全计算机设计.工业控制计算机，2020,33(11)少：16) [17]Zhao B,Yang M H,Liu W,et al.Research on security&trust computer based on Loongson CPU.Computer Technology and Development 2015(3 126 (赵斌，杨明华，柳伟，笑梦处理器的自主可信计算机研究.计算机技术与发展，20153)126) [18]Wu J.The Design ofNorth-bridge Used in Godson System[Dissertation].Anhui:University of Science and Technology of China,2003 (武杰.龙芯系统中的北桥设计[学位论文].安徽：中国科技大学，2003) [19]Evans A,Silburt A,Vrekovnik G,et al.Functional verification of larger ASICs /l Proc of the 35th Design Auomation Conf.New York,1998:650 [20]Ganapathy G,Narayan R,Jorden G,et al.Hardware emulation for functional verification of K5//Proc of the 33rd Design Automation Conf.New York,1996:315 [21]Ray J,Hoe JC.High-Level modeling and FPGA prototyping of microprocessors /Proc of the IIth ACM/SIGDA Int Symp on Field Programmable Gate Arrays(FPGA 03).New York,2003:100 [22]Li X B,Tang Z M,Li W.FPGA verification for heterogeneous multi-core processor[J].Computer Engineering and Science,2021.58(12:2684 (李小波，唐志敏，李文.面向异构多核处理器的FPGA验证U.计算机研究与发展，2021,58(12)：2684) [23]Liu YC,Wang J,Chen Y J,et al.Survey on computer system simulator[J].Computer Engineering and Science,2015, 52(1)3and Science, 2019, 41(1): 1 （方建滨, 杜琦, 唐滔, 等. 飞腾处理器与商用处理器性能比较. 计算机工程与科学, 2019, 41(1): 1） [9] Hu X D, Ke X M, Yin F, et al. Shenwei-26010: a high-performance many-core processor. Journal of Computer Research and Development, 2021, 58(6): 1155 （胡向东, 柯希明, 尹飞, 等. 高性能众核处理器申威 26010. 计算机研究与发展, 2021, 58(6): 1155） [10] Hong W J, Li K L, Quan Z, et al. PETSc's heterogeneous parallel algorithm design and performance optimization on the Sunway TaihuLight system. Chinese Journal of Computers, 2017, 40(9): 2057 （洪文杰, 李肯立, 全哲, 等. 面向神威·太湖之光的 PETSc 可扩展异构并行算法及其性能优化. 计算机学报, 2017, 40(9): 2057） [11] Meng X F, Gao X, Cong M, et al. System performance optimization and analysis of Godson-3A multiprocessor. Journal of Computer Research and Development, 2012, 49(S1): 137 （孟小甫, 高翔, 从明, 等. 龙芯 3A 多核处理器系统级性能优化与分析. 计算机研究与发展, 2012, 49(S1): 137） [12] Zhao H, Wan J W, Bao Z G, et al. Application research of proprietary and controllable technology in the field of test task. Journal of Spacecraft TT&C Technology, 2015, 34(2): 109 （赵辉, 万俊伟, 鲍忠贵, 等. 自主可控技术在试验任务领域的应用研究. 飞行器测控学报, 2015, 34(2): 109） [13] Yuan G X，Zhang Y Q，Yuan L. State of the art analysis of China HPC 2021[J]. Computer Engineering & Science, 2021, 43(12): 2091 （袁国兴, 张云泉, 袁良. 2021 年中国高性能计算机发展现状分析[J]. 计算机工程与科学, 2021, 43(12): 2091） [14] Cai F, Shen H H, Gao X. The design and implementation of north-bridge used in Godson-2 prototype system. Chinese High Technology Letters, 2010, 20(1): 61 （蔡飞, 沈海华, 高翔. 龙芯 2 号原型系统北桥的设计与实现. 高技术通讯, 2010, 20(1): 61） [15] Liu D, Li X, Xu S Y, et al. Design and implementation of homemade information processing platform. Journal of Telemetry, Tracking and Command, 2018, 39(6): 7 （刘达, 李鑫, 徐松艳, 等. 国产化信息处理平台设计与实现. 遥测遥控, 2018, 39(6): 7） [16] Zhu Y S, Lu Y K, Liu L, et al. Design of AIO security computer based on Loongson CPU. Industrial Control Computer, 2020, 33(11): 16 （朱书杉, 路永轲, 刘磊, 等. 基于龙芯处理器的一体式安全计算机设计. 工业控制计算机, 2020, 33(11): 16） [17] Zhao B, Yang M H, Liu W, et al. Research on security & trust computer based on Loongson CPU. Computer Technology and Development, 2015(3): 126 （赵斌, 杨明华, 柳伟, 等. 基于龙芯处理器的自主可信计算机研究. 计算机技术与发展, 2015(3): 126） [18] Wu J. The Design of North-bridge Used in Godson System[Dissertation]．Anhui：University of Science and Technology of China, 2003 （武杰. 龙芯系统中的北桥设计[学位论文]．安徽：中国科技大学, 2003） [19] Evans A, Silburt A, Vrckovnik G, et al. Functional verification of larger ASICs // Proc of the 35th Design Automation Conf. New York, 1998: 650 [20] Ganapathy G, Narayan R, Jorden G, et al. Hardware emulation for functional verification of K5 // Proc of the 33rd Design Automation Conf. New York, 1996: 315 [21] Ray J, Hoe J C. High-Level modeling and FPGA prototyping of microprocessors // Proc of the 11th ACM/SIGDA Int Symp on Field Programmable Gate Arrays(FPGA 03). New York, 2003: 100 [22] Li X B, Tang Z M, Li W. FPGA verification for heterogeneous multi-core processor[J]. Computer Engineering and Science, 2021, 58(12): 2684. (李小波, 唐志敏, 李文. 面向异构多核处理器的 FPGA 验证[J]. 计算机研究与发展, 2021, 58(12): 2684) [23] Liu Y C, Wang J, Chen Y J, et al. Survey on computer system simulator[J]. Computer Engineering and Science, 2015, 52(1): 3 录用稿件，非最终出版稿