1.一种电路设计验证方法，其特征在于，所述方法包括：获取对目标电路设计进行验证的目标需求；将所述目标需求作为思维树的根节点，按照以下方式逐层处理所述思维树中各节点对应的验证任务：在当前节点对应的当前验证任务包括第一可执行指令的情况下，基于所述第一可执行指令调用对应的验证工具对所述目标电路设计进行验证处理，得到与所述当前验证任务对应的中间验证结果，调用目标大模型基于所述中间验证结果和所述思维树对应的上下文数据进行推理处理，生成所述当前节点的下一层节点对应的验证任务或者结束所述当前节点对应的路径；在所述当前节点对应的当前验证任务不包括第一可执行指令的情况下，调用目标大模型将所述当前节点对应的当前验证任务分解成验证逻辑独立的至少一个子任务，得到所述当前节点的下一层节点对应的验证任务；基于所述中间验证结果，得到所述目标需求对应的目标验证结果。
2.根据权利要求1所述的方法，其特征在于，所述获取对目标电路设计进行验证的目标需求，包括：获取用户输入的对所述目标电路设计进行验证的初始需求；调用目标大模型对所述初始需求进行预处理，得到所述目标需求。
3.根据权利要求1所述的方法，其特征在于，在所述当前节点对应的当前验证任务不包括第一可执行指令的情况下，所述方法还包括：若所述当前节点在所述思维树中的层数大于或者等于预设最大层数，则调用目标大模型基于所述当前节点对应的当前验证任务生成第二可执行指令；基于所述第二可执行指令调用对应的验证工具对所述目标电路设计进行验证处理，得到与所述当前验证任务对应的中间验证结果。
4.根据权利要求1所述的方法，其特征在于，所述调用目标大模型将所述当前节点对应的当前验证任务分解成验证逻辑独立的至少一个子任务，得到所述当前节点的下一层节点对应的验证任务，包括：根据所述当前节点在所述思维树中的层数确定所述当前节点对应的当前宽度数量，所述宽度数量与节点层数成负相关关系；基于所述当前宽度数量，调用目标大模型将所述当前节点对应的当前验证任务分解成至少一个子任务，得到所述当前节点的下一层节点对应的验证任务，其中，所述子任务的数量小于或者等于当前宽度数量。
5.根据权利要求1所述的方法，其特征在于，在当前节点对应的当前验证任务包括第一可执行指令的情况下，所述方法还包括：若所述中间验证结果表示所述当前验证任务执行失败，则重复执行基于所述第一可执行指令调用对应的验证工具对所述目标电路设计进行验证处理，得到与所述当前验证任务对应的中间验证结果的过程，直至所述中间验证结果表示所述当前验证任务执行成功或者达到预设的最大次数；在重复执行达到所述最大次数的情况下，基于所述中间验证结果调用目标大模型进行推理处理，生成所述当前节点的下一层节点对应的验证任务。
6.根据权利要求1所述的方法，其特征在于，所述方法包括：响应于用户输入的交互指令，停止针对当前节点的验证任务的处理，基于所述交互指令对所述思维树进行修改，以更新所述思维树，继续执行针对当前节点的当前验证任务的处理。
7.根据权利要求6所述的方法，其特征在于，所述基于所述交互指令对所述思维树进行修改，以更新所述思维树，包括：在所述思维树中的目标位置增加目标节点，以更新所述思维树；或者，在所述思维树中的目标位置删除目标节点，以更新所述思维树；或者，对所述思维树中目标节点对应的目标验证任务进行修改，以更新所述思维树。
8.一种电路设计验证装置，其特征在于，所述装置包括：获取模块，用于获取对目标电路设计进行验证的目标需求；推理模块，用于将所述目标需求作为思维树的根节点，按照以下方式逐层处理所述思维树中各节点对应的验证任务：在当前节点对应的当前验证任务包括第一可执行指令的情况下，基于所述第一可执行指令调用对应的验证工具对所述目标电路设计进行验证处理，得到与所述当前验证任务对应的中间验证结果，调用目标大模型基于所述中间验证结果和所述思维树对应的上下文数据进行推理处理，生成所述当前节点的下一层节点对应的验证任务或者结束所述当前节点对应的路径；在所述当前节点对应的当前验证任务不包括第一可执行指令的情况下，调用目标大模型将所述当前节点对应的当前验证任务分解成验证逻辑独立的至少一个子任务，得到所述当前节点的下一层节点对应的验证任务；结果模块，用于基于所述中间验证结果，得到所述目标需求对应的目标验证结果。
9.一种计算机设备，包括存储器和处理器，所述存储器存储有计算机程序，其特征在于，所述处理器执行所述计算机程序时实现权利要求1至7中任一项所述的方法的步骤。
10.一种计算机可读存储介质，其上存储有计算机程序，其特征在于，所述计算机程序被处理器执行时实现权利要求1至7中任一项所述的方法的步骤。
11.一种计算机程序产品，包括计算机程序，其特征在于，所述计算机程序被处理器执行时实现权利要求1至7中任一项所述的方法的步骤。
