缓存验证方法、装置、电子设备和存储介质

本公开提供了一种缓存验证方法，涉及人工智能技术领域，尤其涉及高速缓存单元和形式化验证技术领域。具体实现方案为：根据至少一个符号常量之一，利用模拟计算单元生成待处理地址；根据待处理地址，利用模拟计算单元生成模拟请求；利用模拟计算单元将模拟请求提供给模拟缓存单元，得到模拟请求的模拟处理结果；根据模拟处理结果和模拟请求的期望处理结果，确定模拟缓存单元的验证结果。本公开还提供了一种缓存验证装置、电子设备和存储介质。