一种芯片验证方法、装置、设备及介质

本申请公开了一种芯片验证方法、装置、设备及介质，涉及计算机领域，应用于芯片验证系统，芯片验证系统包括动态协同的多种验证工具，芯片验证方法包括：根据各验证工具的资源使用情况与资源分配需求确定相匹配的资源调度策略，根据资源调度策略分配相应资源至各验证工具；将验证任务分配给至少一种验证工具，并获取相应验证工具输出的验证结果；若不同验证工具输出的验证结果满足冲突判定条件，则根据不同验证工具的裁决优先级，以及基于历史冲突数据预先训练的目标裁决模型，从不同验证工具输出的验证结果中确定目标验证结果。本申请有效弥补了基于断言的验证在验证范围上的局限性，减少了断言验证中的误报和漏报，并降低验证过程中的资源消耗。