一种用于SOC自动仿真验证的方法及系统.pdf

(19)国家知识产权局(12)发明专利申请(10)申请公布号CN115828840A(43)申请公布日2023.03.21(21)申请号202211427733.4(22)申请日2022.11.15(71)申请人上海清微智能科技有限公司地址200062上海市普陀区同普路602号2幢3层3068室(72)发明人张涛李秀东左哲铭吕凌鹏欧阳鹏(74)专利代理机构北京索睿邦知识产权代理有限公司11679专利代理师朱玲(51)Int.Cl.G06F30/398(2020.01)G06F115/02(2020.01)权利要求书2页说明书4页附图2页(54)发明名称一种用于SOC自动仿真验证的方法及系统(57)摘要本发明涉及SOC芯片技术领域，公开了一种用于SOC自动仿真验证的方法及系统。本发明针对当前传统的SOC验证需要大量人工辅助，不仅费时费力，而且也容易因验证过程的人为因素导致验证出现遗漏或错误的难点，设计出一种高效、快捷的SOC验证方法，该方法不仅解决了在SOC验证流程中费时费力的问题，杜绝了人为因素导致SOC仿真过程出现遗漏或错误的风险，节省了人力成本和时间成本，还能够灵活便捷地作为模块嵌入到SOC仿真验证的流程中，有效地提升了SOC验证的效率。CN115828840ACN115828840A权利要求书1/2页1.一种用于SOC自动仿真验证的方法，其特征在于，包括步骤：步骤S1，在验证环境中，导入验证程序并新建公共目录；步骤S2，建立验证过程中的文档，通过代码将文档解析成头文件，并将解析得到的头文件放置在公共目录下；步骤S3，编写第一模块，调用代码编译工具对第一模块进行编译并生成存储器编程文件；步骤S4，编写第二模块，对第二模块进行编译并生成可执行文件；步骤S5，通过执行可执行文件来进行仿真，并通过输出日志结果判断是否仿真成功。2.根据权利要求1所述的用于SOC自动仿真验证的方法，其特征在于，步骤S2中所述的将验证文档解析成头文件，文档包括：地址空间映射文档、中断列表文档和IP寄存器描述文档，头文件包括：.h格式头文件、.S格式头文件、.svh格式头文件和.sv格式头文件，具体解析过程为：将中断列表文档解析为.h格式、.S格式的中断头文件，以及.svh格式的头文件；将地址空间映射文档解析为.h格式、.S格式的地址空间映射头文件，以及.svh格式的地址空间映射头文件；将IP寄存器描述文档解析为.h格式的IP偏移地址头文件、.h格式的IP寄存器模型头文件，以及.sv格式的寄存器模型文件。3.根据权利要求2所述的用于SOC自动仿真验证的方法，其特征在于，所述验证软件的头文件包括：.h格式文件和.S格式文件；所述验证环境的头文件包括：.svh格式文件和.sv格式文件。4.根据权利要求1所述的用于SOC自动仿真验证的方法，其特征在于，步骤S3包括步骤：步骤S301，通过代码编写用于提取路径的第一模块；步骤S302，第一模块提取出公共目录下头文件的路径，并将提取到的路径导入到第一模块中；步骤S303，调用代码编译工具，对第一模块进行编译；步骤S304，编译生成存储器编程文件，并由验证环境将生成的存储器编程文件加载到内存中。5.根据权利要求1所述的用于SOC自动仿真验证的方法，其特征在于，步骤S4包括步骤：步骤S401，通过代码编写用于提取路径的第二模块；步骤S402，第二模块提取公共目录下的头文件、寄存器模型文件，并导入到第二模块中；步骤S403，调用代码编译工具，对第二模块进行编译来生成可执行文件；步骤S404，生成的可执行文件通过与存储器编程文件建立链接，来实现对存储器编程文件的调用。6.根据权利要求1所述的用于SOC自动仿真验证的方法，其特征在于，步骤S3中所述的存储器编程文件是hex格式的文件，步骤S4中所述的可执行文件是.simv格式的文件。7.根据权利要求1所述的用于SOC自动仿真验证的方法，其特征在于，步骤S3中所述的第一模块和步骤S4中的第二模块，被用来验证SOC功能，具体是由C语言、shell语言、python2CN115828840A权利要求书2/2页语言和systemverilog语言编写。8.根据权利要求1所述的用于SOC自动仿真验证的方法，其特征在于，步骤S5包括步骤：步骤S501，通过执行可执行文件来进行仿真；步骤S502，输出仿真的日志结果并进行保存；步骤S503，通过查看仿真的日志结果输出来判断是否仿真成功，具体为：如果日志结果输出为“False”字段，则表示执行仿真失败；如果日志结果输出为“True”字段，则表示执行仿真成功。9.一种用于SOC自动仿真验证的系统，其特征在于，包括：执行单元，其配置为在验证环境中，导入验证程序并执行该验证程序；解析单元，其配置为将文档解析成头文件；编译单元，其配置为编写第一模块