一种指令验证方法、装置、设备及存储介质

本申请提供了一种指令验证方法、装置、设备及存储介质，涉及芯片设计验证技术领域，该方法包括：按照预设的多层指令结构，对待验证指令进行划分，得到与多层指令结构对应的至少一个指令块；待验证指令为包括多个基本指令的复合指令；多层指令结构用于表征从指令功能的角度对指令块进行划分的依据，每个指令块具有各自的功能；基于第一指令块随机生成第一验证指令块，基于第一验证指令块以及第二指令块生成第二验证指令块；其中，第一指令块为与其他指令块无约束关系的指令块，第二指令块受第一指令块的约束；基于至少一个指令块对应的各验证指令块，得到验证指令；通过验证指令对待验证指令进行验证。提升了指令验证的随机效率和公平性。