基于指令流分析的SOC验证优化方法、装置、计算机设备、及介质

本申请涉及基于指令流分析的SOC验证优化方法、装置、计算机设备、及介质，均匀采样程序的子程序，并抽取子程序中的Basic Block序列信息；抽取每个Basic Block的指令信息；归集指令信息和Basic Block序列信息，得到指令序列，基于指令序列构建基于自回归语言模型的指令语义序列模型；基于指令语义序列模型、采用对比学习方式构建Basic Block程序行为表示模型；读取若干待运行的切片子程序，通过Basic Block程序行为表示模型，获取切片子程序的语义表示；基于切片子程序的语义表示构建子程序相似性矩阵，并基于子程序相似性矩阵进行程序挑选。