一种基于参考模型的GPDSP指令流控自动验证方法

来源：计算机工程与科学杂志2021年第4期北京时间：

作者：王慧丽, 郭阳

单位：（国防科技大学计算机学院,湖南 长沙，410073）

摘要：随着科学计算和人工智能算法复杂度的增加，作为硬件设计中的控制中心，指令流控部件的设计面临复杂性和精确性急剧提升的挑战。FT-xDSP是国防科技大学自主研发的一款64位GPDSP处理器，其指令流控部件的设计规模和复杂性大幅增加，使得指令流控部件的验证成为一个突出难题。提出一种基于指令重排参考模型的指令流控自动化验证方法：首先，以指令输入输出关系为主要特征建立流控部件的抽象模型，屏蔽了内部复杂逻辑，在保证分析结果准确性的基础上降低了分析复杂度；其次，通过自动生成带约束的随机测试激励，对参考模型和待测设计结果进行自动化比较分析，在验证代价相当的情况下提升了代码覆盖率和功能覆盖率。实验和实际应用结果表明，该方法能针对指令流控验证中的薄弱点进行定向随机验证，大幅度提升了指令流控部件的验证效率和验证完整性。

关键词：指令流控,随机激励,参考模型,覆盖率,

基金资助：国家重点研发计划(2018YFB0204301)