追踪编码器的溢出验证方法、装置和电子设备制造方法及图纸

本公开提供了一种追踪编码器的溢出验证方法、装置和电子设备，该方法包括：获取追踪编码器的输入激励的溢出标识信息和针对输入激励的第一输出结果；根据溢出标识信息，确定输入激励是否发生溢出，得到第一确定结果；根据第一确定结果，将输入激励写入程序输入文件；对程序输入文件进行模拟追踪编码，得到第二输出结果；以及，根据第一输出结果和第二输出结果，得到针对输入激励的溢出验证结果。得到针对输入激励的溢出验证结果。得到针对输入激励的溢出验证结果。

【技术实现步骤摘要】
追踪编码器的溢出验证方法、装置和电子设备


[0001]本公开涉及追踪编码器
，更具体地，涉及一种追踪编码器的溢出验证方法、装置和电子设备。

技术介绍

[0002]追踪编码器(Trace Encoder，TE)根据Trace协议(如，Nexus 5001Forum
TM Standard、Efficient Trace for RISC
‑
V)将核心Core退休指令计数器(Program Counter，PC)和与Core退休PC相关的属性生成编码数据包。追踪解码器(Trace Decoder，TD)根据Trace协议解析编码数据包生成PC。
[0003]TE发送编码数据包后，若下游设备不能及时接收TE发送的编码数据包，造成TE生成的编码数据包及时发送失败，导致编码数据包堆积。在编码数据包堆积的情况下，若TE继续接收来自Core的退休PC，会造成FIFO(First In First Out)溢出。
[0004]相关技术中，基于System Verilog语言的TE模型(TE Model)加入FIF本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种追踪编码器的溢出验证方法，其特征在于，包括：获取追踪编码器的输入激励的溢出标识信息和针对所述输入激励的第一输出结果；根据所述溢出标识信息，确定所述输入激励是否发生溢出，得到第一确定结果；根据所述第一确定结果，将所述输入激励写入程序输入文件；对所述程序输入文件进行模拟追踪编码，得到第二输出结果；以及根据所述第一输出结果和所述第二输出结果，得到针对所述输入激励的溢出验证结果。2.根据权利要求1所述的溢出验证方法，其特征在于，所述第一确定结果指示了所述输入激励发生溢出或所述输入激励未发生溢出；其中，根据所述第一确定结果，将所述输入激励写入程序输入文件，包括：在所述第一确定结果指示了所述输入激励发生溢出的情况下，将所述输入激励和与所述输入激励对应的溢出标识信息写入所述程序输入文件；以及在所述第一确定结果指示了所述输入激励未发生溢出的情况下，将所述输入激励写入所述程序输入文件。3.根据权利要求1所述的溢出验证方法，其特征在于，所述对所述程序输入文件进行模拟追踪编码，得到第二输出结果，包括：获取所述程序输入文件中的所述输入激励；确定所述输入激励是否包括所述溢出标识信息，得到第二确定结果；以及根据所述第二确定结果，对所述输入激励进行模拟追踪编码，得到第二输出结果。4.根据权利要求3所述的溢出验证方法，其特征在于，所述根据所述第二确定结果，对所述输入激励进行模拟追踪编码，得到第二输出结果，包括：在所述第二确定结果指示了所述输入激励包括所述溢出标识信息的情况下，删除当前第二输出结果中的后N个数据包，得到经删减数据包；根据所述第二确定结果，生成与所述输入激励对应的第一编码数据包；以及将所述第一编码数据包写入至所述经删减数据包，得到所述第二输出结果；其中，N为正整数，N表示被测验证的溢出深度。5.根据权利要求3或4所述的溢出验证方法，其特征在于，所述根据所述第二确定结果，对所述输入激励进行模拟追踪编码，得到第二输出结果，包括：在所述第二确定结果指示了所述输入激励不包括所述溢出标识信息的情况下，根据所述输入激励确定是否要生成编码数据包；在确定要生成编码数据包的情况下，生成与所述输入激励对应的第二编码数据包，并将所述第二编码数据包写入至当前第二输出结果，得到所述第二输出结果。6.根据权利要求5所述的溢出验证方法，其特征在于，所述根据所述输入激励确定是否要生成编码数据包，包括：确定所述输入激励是否满足数据包生成条件；其中，该数据包生成条件包括所述输入激励是否属于不可推测跳转指令、分支指令或异常指令；在确定所述输入激励满足数据包生成条件的情况下，生成与所述输入激励对应的第二编码数据包。7.根据权利要求5所述的溢出验证方法，其特征在于，所述第一编码数据包包括...

【专利技术属性】
技术研发人员：惠君龙，姜文，
申请(专利权)人：北京奕斯伟计算技术股份有限公司，
类型：发明
国别省市：