电路设计验证方法、装置、设备、介质和产品

本申请涉及一种电路设计验证方法、装置、设备、介质和产品。方法包括：获取对目标电路设计进行验证的目标需求；将目标需求作为思维树的根节点，按照以下方式逐层处理思维树中各节点对应的验证任务：在当前节点的当前验证任务包括第一可执行指令的情况下，基于第一可执行指令调用对应的验证工具对目标电路设计进行验证处理，得到与当前验证任务对应的中间验证结果；在当前节点的当前验证任务不包括第一可执行指令的情况下，调用目标大模型将当前节点对应的当前验证任务分解成验证逻辑独立的至少一个子任务，得到当前节点的下一层节点对应的验证任务；基于中间验证结果，得到目标需求对应的目标验证结果。采用本方法能够提高电路设计验证的效率。