验证方法及装置、电子设备、存储介质和程序产品

本公开涉及一种验证方法及装置、电子设备、存储介质和程序产品，涉及芯片验证领域，所述方法包括：使用待验证模型进行仲裁操作，输出第一结果；调用目标参考模型，以所述目标参考模型的第一队列中的请求通道编号的排列顺序为轮询顺序，通过队列轮询模拟待验证模型的仲裁行为，得到第二结果；对比所述第一结果与所述第二结果，确定验证结果。本公开实施例避开了复杂的时序级别建模，目标参考模型以第一队列中请求通道编号的排列顺序作为轮询顺序，通过队列轮询模拟待验证模型的仲裁行为，有利于对待验证模型的充分验证，大大降低了验证的复杂度和投入成本。