公开(公告)号：CN116935724A

公开(公告)日：2023-10-24

申请号：CN202310766026.6

申请日：2023-06-27

Applicant: 哈尔滨工业大学

Inventor： 舒燕君 ,  张展 ,  左德承 ,  刘宏伟 ,  丛日东 ,  马庄宇 ,  温东新 ,  董剑

IPC: G09B23/18 ,  G06F30/343

Abstract: 用于处理器设计实验课程的FPGA硬件设计验证方法，属于FPGA硬件设计验证技术领域。为提高处理器设计实验过程中分析推断设计错误的原因的速度。本发明对处理器设计实验课程的FPGA硬件设计构建实验方案验证信号；建立待检测FPGA硬件设计实验；进行仿真分析验证，设计测试用例判断仿真分析验证结果是否正确，判断仿真分析验证的结果为错误则输出待检测FPGA硬件设计实验错误提示，判断仿真分析验证的结果为正确则输出正确提示；构建板上分析验证系统，将建立的待检测FPGA硬件设计实验、设计的测试用例输入到板上分析验证系统进行板上分析验证，得到板上分析验证实验结果在FPGA开发板进行显示。

公开(公告)号：CN116719554A

公开(公告)日：2023-09-08

申请号：CN202310724902.9

申请日：2023-06-19

Applicant: 哈尔滨工业大学

Inventor： 郝思冲 ,  刘宏伟 ,  史先俊 ,  舒燕君 ,  苏泓嘉 ,  霍宇桐 ,  丛日东 ,  王艺达 ,  郑小博

IPC: G06F8/70 ,  G06F8/35 ,  G06N20/00

Abstract: 本发明涉及一种基于样本数据增广训练的软件故障修复方法，包括如下步骤：步骤一、构建原始故障修复代码数据训练集和验证集；步骤二、建立基于源码重构机制的故障修复代码样本数据增广模块；步骤三、通过故障修复代码样本数据增广模块，生成具有语义一致性的多形式增广故障修复代码样本。本发明能够通过已有故障修复代码样本，基于源码重构机制自动生成增广故障修复代码样本，无需人为手动额外收集，实现了故障修复代码数据集的自动扩充，节省了收集数据集的时间，提高了数据集构建效率。