基于贝叶斯网络优化的芯片验证方法、装置、设备及介质

本申请公开了基于贝叶斯网络优化的芯片验证方法、装置、设备及介质，涉及芯片验证技术领域，包括提取芯片验证场景中的验证变量，对验证变量进行依赖关系分析，构建贝叶斯网络模型；通过吉布斯采样生成随机约束激励信号，并将随机约束激励信号输入到芯片验证场景中进行仿真，得到验证结果；对贝叶斯网络模型进行更新、优化；利用更新、优化后的贝叶斯网络模型对芯片进行验证，通过考虑到芯片验证场景中验证变量间的依赖关系，生成的随机约束激励信号更符合实际需求，克服了相关技术中约束激励信号中约束条件基于工程师经验设置，导致遗漏验证场景的问题，将随机约束激励信号输入到验证场景的验证结果对贝叶斯网络模型动态优化，实现芯片验证。