基于存储模型的自动验证方法、装置、终端及存储介质制造方法及图纸

本发明专利技术涉及存储技术领域，具体涉及基于存储模型的自动验证方法、装置、终端及存储介质。该方法包括以下步骤：获取DUT中拼接存储的输入，并将所述DUT中拼接存储的输入作为memory model的输入；获取DUT中拼接存储的输出和memory model的输出，并将DUT中拼接存储的输出和memory model的输出进行比对，获得比对结果。本发明专利技术提出了基于memory model的验证方法，在大大减少验证工作量的同时，对于latency的验证，也有了很好的覆盖。保证memory model的latency参数正确，并且检查DUT拼接memory和memory model的输出完全一致，就可以证明拼接memory的latency值正确。memory的latency值正确。memory的latency值正确。

【技术实现步骤摘要】
基于存储模型的自动验证方法、装置、终端及存储介质


[0001]本专利技术涉及存储
，尤其涉及基于存储模型的自动验证方法、装置、终端及存储介质。

技术介绍

[0002]随着集成电路的高速发展，SoC复杂度越来越高，所用到的片上存储也越来越多。性能需求的提升导致片上存储需求越来越多，地址数据的位宽和深度都越来越大，而由于芯片厂商存储库的规格有限，所以经常需要将存储拼接起来使用。
[0003]Soc设计中通常会有专门的工具来生成DUT memory，但是为了确保设计人员在生成memory时输入参数的正确性，检验工具的可靠性，确保memory输入时钟源是否正确等问题，验证人员需要检查memory，而大量的拼接存储导致了验证工作量的大大增加。
[0004]为了保证存储拼接的正确性，一般需要验证每块存储的时钟输入源是否正确，拼接的数据和地址位宽是否正确，存储深度是否正确，latency是否如期望，拼接存储的读写使能和片选信号连接是否正确等验证点。一般最常用的验证方法是连接性检查，assertion检查等，但是这些常规方法的局限性如下：本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种基于存储模型的自动验证方法，其特征在于，该方法包括：获取DUT中拼接存储的输入，并将所述DUT中拼接存储的输入作为memory model的输入；获取DUT中拼接存储的输出和memory model的输出，并将DUT中拼接存储的输出和memory model的输出进行比对，获得比对结果。2.如权利要求1所述的基于存储模型的自动验证方法，其特征在于，所述memory model的输入以bind语句进行入；所述DUT中拼接存储的输出以bind语句进行输出。3.如权利要求1所述的基于存储模型的自动验证方法，其特征在于，所述DUT中拼接存储的输出和memory model的输出进行比对，其比对项包括：memory地址位宽，数据位宽、memory的深度、memory的latency、memory的时钟输入源和拼接存储的读写使能信号。4.如权利要求1所述的基于存储模型的自动验证方法，其特征在于，所述DUT中拼接存储的输入为脚本输入文件。5.如权利要求4所述的基于存储模型的自动验证方法，其特征在于，所述脚本输入文件中脚本自动生成功能覆盖率文件，所述功能覆盖率文件包含：检查memory的读地址和写地址是否覆盖到最大最小地址范围；检查memory的读数据和写数据是否覆盖到最大最小数据范围；对于具有低功耗功能的memory，还可以增加低功耗相关的覆盖率。6.如权利要求5所...

【专利技术属性】
技术研发人员：曹文瑞，金守英，乐亚平，韩长圣，
申请(专利权)人：山东云海国创云计算装备产业创新中心有限公司，
类型：发明
国别省市：