部署在芯片中的存储器验证方法、装置及计算机设备

本申请公开了一种部署在芯片中的存储器验证方法、装置及计算机设备，涉及芯片设计技术领域，根据待验证存储器的目标属性信息，自动生成待验证存储器的存储器模型、测试序列、测试用例，并自动对待验证存储器的存储器模型进行验证。解决了人工验证芯片存储器效率低和风险高的技术问题，达到了提高存储器模型的生成效率、减少人工编写测试序列和测试用例的时间，降低因人工验证导致地址空间疏漏存在的验证风险的技术效果。