用于验证存储电路的方法和计算机程序产品及计算设备

本发明提供一种用于验证存储电路的方法和计算机程序产品及计算设备，所述方法包括：将芯片存储电路的地址空间分为多个地址块，包括：通过随机方式生成用于地址块的起始地址和块长度；随机分配所述多个地址块中的至少一个地址块；使用所分配的所述至少一个地址块对所述芯片存储电路进行功能验证仿真；根据多次随机的结果收集地址块的起始地址和块长度的覆盖率，当所述覆盖率达到100%后则完成所述功能验证仿真。根据本发明的技术方案，能够更好地验证到边界和特殊地址，增加芯片验证的完备性，可以使地址空间的验证和功能验证结合，实现自动化的地址分配，增加了验证的效率。