CN114707453B 芯片功能的验证方法、装置、电子设备及存储介质 （上海阵量智能科技有限公司）

WO2005078584A1,2005.082基于所述访存方式对所述访存模型进行实例化，得到所述功能模基于所述仿真结果、以及与所述待验证芯片对应的真实结果，其中，所述接口模型由实现接口对所述存储器的访存行为的所述存储器模型由模拟所述存储器功能的第三代码所述第一代码文件中，定义了模拟读接口的类，所述模拟读接口的类所述第一地址信号包括下述至少一种：读地址有效信号，与有效所述第一代码文件中，定义了模拟写接口的类，所述模拟写接口的类3所述第二地址信号包括下述至少一种：写地址有效信号，与有效地址同时数据地址序列，所述数据地址序列的索引用于表示存储器的地所述基于所述访存方式对所述访存模型进行实例化，得到所述功能基于多个功能模块分别对应的访存方式，对所述访存模型进所述基于多个功能模块分别对应的访存方式，对所述访存模型进行响应于不同功能模块的地址信息指示所述不同功能模块分别能够访存的存储空间存4响应于不同功能模块的地址信息指示所述不同功能模块分别能够访存的存储空间未在仿真器中，生成与所述功能代码对应的第一线程、以及标接口对应的访存模型实例对所述访存指令进基于所述待验证芯片中的功能模块对外交互时所采用的通信协议、所述仿真模块，用于基于所述访存方式对所述访存模型进行实例化，得5器可读指令被所述处理器执行时，所述处理器执行如权利要求1至12任一项所述的芯片功6[0002]随着芯片的集成度越来越高，数字逻辑芯片的复杂度也在一直增加。片上系统数据处理模块内部也具有多个子模块。在这样一个复杂的SoC芯片或系统级数据处理模块78[0033]响应于所述访存方式指示对应功能模块对存储器进行读操作，对所述读接口模[0034]响应于所述访存方式指示对应功能模块对存储器进行写操作，对所述写接口模[0040]响应于不同功能模块的地址信息指示所述不同功能模块分别能够访存的存储空[0041]响应于不同功能模块的地址信息指示所述不同功能模块分别能够访存的存储空代码指示利用目标接口对存储器进行访存操作，执行与所述访存操作对应的访存模型实9述目标接口对应的访存模型实例对所述访存指令[0083]响应于所述访存方式指示对应功能模块对存储器进行读操作，对所述读接口模[0084]响应于所述访存方式指示对应功能模块对存储器进行写操作，对所述写接口模[0090]响应于不同功能模块的地址信息指示所述不同功能模块分别能够访存的存储空[0091]响应于不同功能模块的地址信息指示所述不同功能模块分别能够访存的存储空述目标接口对应的访存模型实例对所述访存指令核是指芯片中具有独立功能的电路模块的成熟设计)。而各个数据处理模块内部也具有多[0122]针对以上方案所存在的缺陷，均是发明人在经过实践并方法进行详细介绍，本公开实施例所提供的芯片功能的验证方法的执行主体一般为仿真[0138]构成访存模型的预设编程语言例如包括：系统级硬件描述语言(Sys[0186]当读模型rd_model接收到来自读接口rd_intf传来的复位信号时，do_reset会将[0187]读接口模型在执行时通过第二代码文件进行信号传输，利用读地址有效信号[0194]所述访存方式可以包括下述中的至少一种：所述功能模块对存储器进行读操作、读操作与写操作对应的读接口模型和写接口模型进行实例化，并对存储器模型进行实例[0200]示例性的，例如可以利用第一代码文件1：rd_model.sv、第二代码文件2：rd_[0205]示例性的，图2示出了在对单个功能模块进行验证时，为功能模块实例化访存模RD_NUM＝2，在仿真过程中实例化时会分别为design_0、和design_2实例化2组rd_intf和[0210]示例性的，图4示出了在对多个功能模块进行验证时，为功能模块实例化访存模读操作，design_1仅能进行写操作，design_2既能进行读操作，又能进行写操作。其中，design_0的访存方式为只读，为其实例化读接口模型实例rd_intf_0和rd_model_0。由于design_2的访存方式为既可读也可写，为其实例化读接口模型实例rd_intf_1和rd_[0258]响应于所述访存方式指示对应功能模块对存储器进行读操作，对所述读接口模[0259]响应于所述访存方式指示对应功能模块对存储器进行写操作，对所述写接口模[0265]响应于不同功能模块的地址信息指示所述不同功能模块分别能够访存的存储空[0266]响应于不同功能模块的地址信息指示所述不同功能模块分别能够访存的存储空述目标接口对应的访存模型实例对所述访存指令理器61用于执行存储器62中存储的机器可读指令，所述机器可读指令被处理器61执行时，[0286]上述指令的具体执行过程可以参考本公开实施例中所述的一种芯片功能的验证[0288]本公开实施例还提供一种计算机程序产品，该计算机程所述程序代码包括的指令可用于执行上述方法实施例中所述的一种芯片功能的验证方法合或直接耦合或通信连接可以是通过一些通信接口，装置或单元的间接耦合或通信连接，的技术方案本质上或者说对现有技术做出贡献的部分或者