一种同步多线程验证方法及装置制造方法及图纸

本发明专利技术提供一种同步多线程验证方法及装置，所述方法包括：构造面向多种竞争场景的指令库；根据所述指令库生成一主线程激励和至少一干扰线程激励；将所述主线程激励和所述干扰线程激励生成同步多线程用例，并灌入待测器件内进行验证。本发明专利技术能够根据面向多种竞争场景的指令库生成一主线程激励和至少一干扰线程激励的方法优化主线程激励和干扰线程激励的生成方式，进而提高了场景覆盖率，以及验证效率。

【技术实现步骤摘要】
一种同步多线程验证方法及装置
本专利技术涉及计算机处理器
，尤其涉及一种同步多线程验证方法及装置。
技术介绍
随着CPU技术的发展，CPU的主频与性能不断提高，需要调入指令和数据的速度不断提高。因此，为了开发指令级并行(ILP)，在过去的几十年中利用了超标量(同时具备多个执行器)、乱序执行(允许无数据关联性的指令同时运行)、动态分支预测，VLIW(超长指令集)等技术。然而，超标量使设计的复杂性急剧增加，同时，指令之间的数据相关和控制相关，可以开发的ILP也有限，以及一些其他因素，使得经典的超标量结构处理器难以进一步提高处理器性能。后来出现了两种多线程技术，一种为粗粒度的多线程，在任一时刻只有一个线程执行，当线程遇到一个长延迟事件时，如二级缓存不命中，则系统调度另一个线程执行，而不是让系统资源空转等待此线程，这一机制可以提高整个系统的利用率。另一种与粗粒度多线程相对应的是细粒度多线程技术，采用这种多线程的系统会循环地执行两个线程的指令，这就需要在处理的设计上增加许多冗余的部件。如果一个线程遇到一个长延迟事件，对应这一线程执行的时钟周期在短期内仍然不会被利用。最后出现的同步多线程技本文档来自技高网...

【技术保护点】
1.一种同步多线程验证方法，其特征在于，包括：构造面向多种竞争场景的指令库；根据所述指令库生成一主线程激励和至少一干扰线程激励；将所述主线程激励和所述干扰线程激励生成同步多线程用例，并灌入待测器件内进行验证。

【技术特征摘要】
1.一种同步多线程验证方法，其特征在于，包括：构造面向多种竞争场景的指令库；根据所述指令库生成一主线程激励和至少一干扰线程激励；将所述主线程激励和所述干扰线程激励生成同步多线程用例，并灌入待测器件内进行验证。2.根据权利要求1所述的方法，其特征在于，所述面向多种竞争场景的指令库包括至少两个分别占用特定执行单元的指令集；其中，所述指令集包括分别面向特定场景的序列。3.根据权利要求1或2所述的方法，其特征在于，所述指令库包括面向定点运算的指令集、面向浮点运算的指令集、面向内存定点读取的指令集、面向内存定点存储的指令集、面向内存浮点读取的指令集、面向内存浮点存储的指令集、面向算术标志位的指令集和面向其他场景的指令集中一种或者任意组合。4.根据权利要求1-3任一所述的方法，其特征在于，所述根据所述指令库生成一主线程激励和至少一干扰线程激励包括：获取同步多线程的用例信息；根据所述用例信息配置主线程的随机参数和干扰线程的随机参数；根据所述主线程的随机参数生成主线程激励；根据所述干扰线程的随机参数生成干扰线程激励。5.根据权利要求4所述的方法，其特征在于，所述根据所述主线程的随机参数生成主线程激励包括：根据所述主线程的随机参数配置主线程随机序列总长度；按所述主线程随机序列总长度从指令库中随机提取序列并将序列进行拼接生成主线程激励。6.根据权利要求4或5所述的方法，其特征在于，所述根据所述干扰线程的随机参数生成干扰线程激励包括：根据所述干扰线程的随机参数配置干扰线程序列个数；按所述干扰线程序列个数从指令库中随机提取序列并将序列进行拼接生成干扰线程激励。7.根据权利要求1-6任一所述的方法，其特征在于，所述将所述主线程激励和所述干扰线程激励生成同步多线程用例包括：提取启动文件；结合所述启动文件将所述主线程激励和所述干扰线程激励进行编译，并对应依次执行各线程的寄存器初始化、页表分配、以及根据各线程的ID调用对应线程的程序；生成同步多线程用例。8.根据权利要求1-7任一所述的方法，其特征在于，所述方法还包括：将所述同步多线程用...

【专利技术属性】
技术研发人员：徐冉冉，熊涛，胡一凡，余红斌，
申请(专利权)人：展讯通信上海有限公司，
类型：发明
国别省市：上海,31