声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：43-1258/TP
国际刊号：1007-130X
发布日期:
作者：王慧丽, 郭阳
单位：（国防科技大学计算机学院,湖南 长沙，410073）
关键词：指令流控,随机激励,参考模型,覆盖率,
基金：国家重点研发计划(2018YFB0204301)
随着科学计算和人工智能算法复杂度的增加，作为硬件设计中的控制中心，指令流控部件的设计面临复杂性和精确性急剧提升的挑战。FT-xDSP是国防科技大学自主研发的一款64位GPDSP处理器，其指令流控部件的设计规模和复杂性大幅增加，使得指令流控部件的验证成为一个突出难题。提出一种基于指令重排参考模型的指令流控自动化验证方法：首先，以指令输入输出关系为主要特征建立流控部件的抽象模型，屏蔽了内部复杂逻辑，在保证分析结果准确性的基础上降低了分析复杂度；其次，通过自动生成带约束的随机测试激励，对参考模型和待测设计结果进行自动化比较分析，在验证代价相当的情况下提升了代码覆盖率和功能覆盖率。实验和实际应用结果表明，该方法能针对指令流控验证中的薄弱点进行定向随机验证，大幅度提升了指令流控部件的验证效率和验证完整性。
来源：2021年第4期
《计算机工程与科学》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。