摘要
本公开提供了一种芯片验证方法及装置、设备和介质,涉及计算机技术领域,尤其涉及芯片验证技术领域。实现方案为:确定芯片的多个处理核心之间的第一依赖关系;响应于确定待针对第一处理核心增加随机指令,利用随机指令生成器生成第一新增指令,包括:响应于确定所述多个处理核心中存在依赖于所述第一处理核心的至少一个第一依赖核心,确定针对所述随机指令生成器的约束条件,以使得所述随机指令生成器的随机指令生成结果不依赖于与所述至少一个第一依赖核心对应的指令;以及通过基于所述约束条件运行所述随机指令生成器,生成第一新增指令;以及通过利用所述芯片执行所述多个初始指令和所述第一新增指令,确定针对所述芯片的验证结果。
技术关键词
指令生成器
核心
芯片验证方法
关系
芯片验证装置
芯片验证技术
计算机程序产品
处理器通信
队列
可读存储介质
存储器
电子设备