【技术实现步骤摘要】
芯片功能的验证方法、装置、电子设备及存储介质
[0001]本公开涉及芯片设计
,具体而言,涉及一种芯片功能的验证方法、装置、电子设备及存储介质。
技术介绍
[0002]随着芯片的集成度越来越高,数字逻辑芯片的复杂度也在一直增加。片上系统(System on Chip,SoC)是当今芯片技术发展的主流,它能够把原先数块芯片才能实现的功能集成起来,通过各种功能部件组成一颗功能强大的芯片。在SoC的内部,许多功能复杂的数据处理模块内部也具有多个子模块。在这样一个复杂的SoC芯片或系统级数据处理模块的研发过程中,需要芯片验证工程师对设计人员编写的设计代码进行功能验证,设计复杂度的提高也对功能验证的要求变得越来高。因此芯片功能验证的方式存在验证效率较低的问题。
技术实现思路
[0003]本公开实施例至少提供一种芯片功能的验证方法、装置、电子设备及存储介质。
[0004]第一方面,本公开实施例提供了一种芯片验证功能的验证方法,包括:
[0005]获取待验证芯片的功能描述信息、以及访存模型;其中,所述访存模型通过预设编程语言生成,用于模拟提供与所述待验证芯片连接的接口、并模拟通过所述接口对存储器的访存操作;
[0006]基于所述功能描述信息、以及所述访存模型,对所述待验证芯片进行仿真,得到所述待验证芯片的仿真结果;
[0007]基于所述仿真结果、以及与所述待验证芯片对应的真实结果,得到所述待验证芯片的验证结果。
[0008]一种可选的实施方式中,所述功能描述信息包括:所 ...
【技术保护点】
【技术特征摘要】
1.一种芯片功能的验证方法,其特征在于,包括:获取待验证芯片的功能描述信息、以及访存模型;其中,所述访存模型通过预设编程语言生成,用于模拟提供与所述待验证芯片连接的接口、并模拟通过所述接口对存储器的访存操作;基于所述功能描述信息、以及所述访存模型,对所述待验证芯片进行仿真,得到所述待验证芯片的仿真结果;基于所述仿真结果、以及与所述待验证芯片对应的真实结果,得到所述待验证芯片的验证结果。2.根据权利要求1所述的方法,其特征在于,所述功能描述信息包括:所述待验证芯片中的功能模块对存储器的访存方式、以及所述待验证芯片的功能代码;所述基于所述功能描述信息、以及所述访存模型,对所述待验证芯片进行仿真,得到所述待验证芯片的仿真结果,包括:基于所述访存方式对所述访存模型进行实例化,得到所述功能模块对应的访存模型实例;基于所述访存模型实例、以及所述功能代码,对所述待验证芯片进行仿真,得到所述待验证芯片的仿真结果。3.根据权利要求1或2所述的方法,其特征在于,所述访存模型包括:接口模型、以及存储器模型;其中,所述接口模型由实现接口对所述存储器的访存行为的第一代码文件、以及实现所述接口的第二代码文件定义;所述存储器模型由模拟所述存储器功能的第三代码文件定义。4.根据权利要求3所述的方法,其特征在于,所述接口模型包括:读接口模型;所述第一代码文件中,定义了模拟读接口的类,所述模拟读接口的类用于模拟对应功能模块发起读操作之后的存储器响应;所述模拟读接口的类中,声明了下述变量中至少一种:第一变量:用于模拟与对应功能模块进行连接的读接口;第二变量,用于模拟存储器;第三变量,用于表示由所述读接口模型发送给对应功能模块的读数据;第四变量,用于表示由对应功能模块发送给所述读接口模型的地址;所述模拟读接口的类中,包括有下述方法中至少一种:第一复位方法,用于在接收到复位信号后进对所述模拟读接口的类进行复位;第一驱动方法,用于实现所述模拟读接口的类接收到读请求后的行为;所述第二代码文件中,定义了所述读接口模型、以及第一地址信号和第一数据信号;所述第一地址信号包括下述至少一种:读地址有效信号,与有效地址同时到达所述读接口模型,用于表示本次读请求的读地址是有效的;读地址准备信号,用于表示读接口模型已经准备好接收读请求;读地址,表示由对应功能模块发送给读接口模型的地址;所述第一数据信号包括下述至少一种:读数据有效信号,与有效数据同时到达读模型,表示本次读请求的读数据是有效的;读数据准备信号,表示读模型已经准备好接收读请求;读数据,表示由对应功能模块发送给读接口模型的数据。5.根据权利要求3或4所述的方法,其特征在于,所述接口模型包括:写接口模型;
所述第一代码文件中,定义了模拟写接口的类,所述模拟写接口的类用于模拟对应功能模块发起写操作之后的存储器响应;所述模拟写接口的类中,声明了下述变量中至少一种:第五变量:用于模拟与对应功能模块进行连接的写接口;第二变量,用于模拟存储器;第六变量,用于表示由所述写接口模型发送给对应功能模块的写数据;第七变量,用于表示由对应功能模块发送给所述写接口模型的地址;所述模拟写接口的类中,包括有下述方法中至少一种:第二复位方法,用于在接收到复位信号后进对所述模拟写接口的类进行复位;第二驱动方法,用于实现所述模拟写接口的类接收到写请求后的行为;所述第二代码文件中,定义了所述写接口模型、以及第二地址信号和第二数据信号;所述第二地址信号包括下述至少一种:写地址有效信号,与有效地址同时到达所述写接口模型,用于表示本次写请求的写地址是有效的;写地址准备信号,用于表示写接口模型已经准备好接收写请求;写地址,表示由对应功能模块发送给写接口模型的地址;所述第二数据信号包括下述至少一种:写数据有效信号,与有效数据同时到达写模型,表示本次写请求的写数据是有效的;写数据准备信号,表示写模型已经准备好接收写请求;写数据,表示由对应功能模块发送给写接口模型的数据。6.根据权利要求3
‑
5任一项所述的方法,其特征在于,所述第三代码文件,定义了用于模拟存储器的类;所述模拟存储器的类中,声明有下述变量:数据地址序列,所述数据地址序列的索引用于表示存储器的地址;每个索引对应的元素表示对应存储器地址中存储的一字节数据。7.根据权利要求3所述的方法,其特征在于,所述接口模型包括:读接口模型、以及写接口模型;所述基于所述访存方式对所述访存模型进行实例化,得到所述功能模块分别对应的访存模型实例,包括:响应于所述访存方式指示对应功能模块对存储器进行读操作,对所述读接口模型、以及所述存储器模型进行实例化,得到所述功能模块对应的读接口模型实例、以及存储器模型实例;响应于所述访存方式指示对应功能模块对存储器...
【专利技术属性】
技术研发人员:连络,侯化成,徐宁仪,
申请(专利权)人:上海阵量智能科技有限公司,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。