一种状态机验证方法、装置、系统、存储介质及电子设备

本发明提供了一种状态机验证方法、装置、系统、存储介质及电子设备，应用于芯片设计和验证技术领域。该方法包括：获得数字芯片的状态机模型，并获取包含多个信号组合序列的验证集，其中，信号组合序列是通过对状态机模型的输入信号进行交叉组合生成的。在目标状态跳转链路中，遍历验证集的所有信号组合序列，记录静态遍历验证结果和测试激励记录结果。当静态遍历验证结果表明所有链路功能覆盖点均被命中时，将测试激励记录结果中命中过链路功能覆盖点的信号组合序列输入至状态机模型和被测状态机中进行动态仿真验证，最终获得数字芯片的状态机验证结果，确保了状态机所有可能的有效链路被正确覆盖，从而提高状态机验证的全面性和完整性。