当前位置: 首页 > 专利查询>浙江大学专利>正文

基于指令机器码的动态指令测试序列生成方法、计算机设备和存储介质技术

技术编号:42541462 阅读:18 留言:0更新日期:2024-08-27 19:45
本发明专利技术提出了一种基于指令机器码的动态指令测试序列生成方法,包括如下步骤:根据指令集体系架构规范构建多个指令机器码模型;基于测试场景构建测试模板,所述测试模板包括指令类别的定义和指令的生成需求;基于测试模板定义的指令类别和指令生成需求,通过指令机器码模型生成指令机器码;将生成的指令机器码送入指令模拟器进行检测,保存通过检测的指令机器码,直至指令机器码生成数量满足测试模板中的生成需求;将所有生成的指令机器码分别送入待验证处理器和指令模拟器中进行执行,对比每条指令的执行日志并进行分析。本发明专利技术通过直接生成语义有效的指令机器码测试序列,对处理器进行了更高效、更全面的验证,解决了处理器硅前阶段指令集架构功能验证的测试序列生成问题。

【技术实现步骤摘要】

本专利技术涉及处理器设计和验证,具体为基于处理器的指令机器码的动态指令测试序列生成方法,用于处理器硅前阶段指令集架构功能验证。


技术介绍

1、随着信息技术的快速发展,信息系统已广泛应用于人们生产和生活的各个领域,从智能计算系统到无人驾驶系统,为人们的生活提供了诸多便利。信息系统的安全性是人们享受这些便利的重要前提。处理器作为信息系统的核心电路,现代计算机系统中最核心和关键的部件之一,负责控制、计算和处理任务,被广泛应用在信息系统中,可以说处理器硬件安全是信息系统能被安全使用的前提。现代处理器通常配备数十亿个晶体管和多个内核,设计和制备中存在的硬件漏洞不仅会导致错误的计算结果,还会对整个处理器系统构成严重的安全威胁。考虑到修复硬件漏洞的难度以及所需的大量时间和经济成本,在硅前阶段使用高效的验证方法及早发现漏洞至关重要。然而,激烈的竞争压力和快速上市的需要往往使处理器供应商用于验证的时间和资源都面临严格的限制,这使得详尽的验证成为一个不切实际的目标。

2、现有的测试指令序列的随机生成方法大多以汇编代码为基础,采用简单直接的随机化汇编指令中参数的方法本文档来自技高网...

【技术保护点】

1.一种基于指令机器码的动态指令测试序列生成方法,其特征在于,包括如下步骤:

2.如权利要求1所述的基于指令机器码的动态指令测试序列生成方法,其特征在于,所述指令机器码模型包括:

3.如权利要求2所述的基于指令机器码的动态指令测试序列生成方法,其特征在于,所述字段具体取值包括指令集体系架构规范中明确定义的合法取值和保留的非标准取值。

4.如权利要求3所述的基于指令机器码的动态指令测试序列生成方法,其特征在于,所述的根据指令集体系架构规范构建指令机器码模型包括:

5.如权利要求4所述的基于指令机器码的动态指令测试序列生成方法,其特征在于,所述...

【技术特征摘要】

1.一种基于指令机器码的动态指令测试序列生成方法,其特征在于,包括如下步骤:

2.如权利要求1所述的基于指令机器码的动态指令测试序列生成方法,其特征在于,所述指令机器码模型包括:

3.如权利要求2所述的基于指令机器码的动态指令测试序列生成方法,其特征在于,所述字段具体取值包括指令集体系架构规范中明确定义的合法取值和保留的非标准取值。

4.如权利要求3所述的基于指令机器码的动态指令测试序列生成方法,其特征在于,所述的根据指令集体系架构规范构建指令机器码模型包括:

5.如权利要求4所述的基于指令机器码的动态指令测试序列生成方法,其特征在于,所述的基于测试场景构建测试模板包括:

6.如权利要求5所述的基于指令机器码的动态指令测试序列生成方法,其特征在于,所述的基于测试模板的...

【专利技术属性】
技术研发人员:刘岸林鹿天瑶席宇浩苟鹏飞刘洋刘鹏
申请(专利权)人:浙江大学
类型:发明
国别省市:

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1