一种外挂设备控制接口模块验证方法及系统技术方案

本发明专利技术属于IC验证技术领域，具体涉及一种外挂设备控制接口模块验证方法及系统，包括：通过外挂设备控制接口模块按照各访问地址访问外挂设备，且同时访问外挂设备参考模型；外挂设备参考模型用于存储被访问的访问地址和对应的访问值；并收集外挂设备控制接口模块访问的外挂设备的写地址，记为历史写地址数据；若历史写地址数据中各写地址均在外挂设备参考模型中，且从外挂设备中读取的读数据和从外挂设备参考模型对应地址读取的读数据一致，且写入外挂设备中的写数据和写入外挂设备参考模型对应地址的写数据一致，则外挂设备控制接口模块验证通过；否则，验证不通过。由此，本发明专利技术解决了验证外挂设备控制接口模块耗时长和验证充分性低的问题。验证充分性低的问题。验证充分性低的问题。

【技术实现步骤摘要】
一种外挂设备控制接口模块验证方法及系统


[0001]本专利技术属于IC验证
，具体涉及一种外挂设备控制接口模块验证方法及系统。

技术介绍

[0002]IC验证中，特别是在soc芯片，经常会外挂sdram模块用于存储数据，所以要对相应的sdram控制接口模块进行验证；由于需要验证sdram控制接口模块的正确性，考虑到sdarm的存储特性，其读功能可以通过检查读回来的数据的正确性进行证明，其写属性则要检查写数据是否写到正确的sdram位置上去，因此，常规有两种检验方法。
[0003]第一种是遍历比较法，即在验证平台中创建一个与实际sdram同样大小的sdram存储参考模型，当通过sdram控制接口对实际sdram进行读写的同时，也对该sdram存储参考模型进行读写；最后对sdram参考模型与实际sdram的所有地址存储的数据进行一一比较，若有不一致的地方，则需要对sdram控制接口进行检查修复。该方法对sdram控制接口模块的写属性检查足够充分，但sdram一般都很大，遍历比较所有地址的存储数据，需要花费很多时间。
[0004本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种外挂设备控制接口模块验证方法，其特征在于：包括以下步骤：1)激励生成访问数据，访问数据包括访问地址和对应的访问值；所述访问地址包括写地址和读地址；2)通过外挂设备控制接口模块按照各访问地址访问外挂设备，且同时访问外挂设备参考模型；外挂设备参考模型用于存储被访问的访问地址和对应的访问值；并收集外挂设备控制接口模块访问的外挂设备的写地址，记为历史写地址数据；3)若第一条件、第二条件和第三条件均满足，则外挂设备控制接口模块验证通过；若第一条件、第二条件和第三条件中只要有一项不满足，则外挂设备控制接口模块验证不通过；所述第一条件为历史写地址数据中各写地址均在外挂设备参考模型中；第二条件为从外挂设备读地址中读取的读数据和从外挂设备参考模型对应地址读取的读数据一致；第三条件为写入外挂设备中的写数据和写入外挂设备参考模型对应地址的写数据一致。2.根据权利要求1所述的外挂设备控制接口模块验证方法，其特征在于：所述读数据为依据写地址写入后再读取回来的数据，读地址与写地址相同。3.根据权利要求1所述的外挂设备控制接口模块验证方法，其特征在于：所述读数据为依据读地址读取的...

【专利技术属性】
技术研发人员：陈俊寒，
申请(专利权)人：深圳智微电子科技有限公司，
类型：发明
国别省市：