首页 > 专利 > 杭州电子科技大学 > 一种在线Verilog代码自动判决系统的自动评分方法专利详情

一种在线Verilog代码自动判决系统的自动评分方法   0    0

有效专利 查看PDF
专利申请流程有哪些步骤?
专利申请流程图
申请
申请号:指国家知识产权局受理一件专利申请时给予该专利申请的一个标示号码。唯一性原则。
申请日:提出专利申请之日。
2018-08-30
申请公布
申请公布指发明专利申请经初步审查合格后,自申请日(或优先权日)起18个月期满时的公布或根据申请人的请求提前进行的公布。
申请公布号:专利申请过程中,在尚未取得专利授权之前,国家专利局《专利公报》公开专利时的编号。
申请公布日:申请公开的日期,即在专利公报上予以公开的日期。
2019-02-12
授权
授权指对发明专利申请经实质审查没有发现驳回理由,授予发明专利权;或对实用新型或外观设计专利申请经初步审查没有发现驳回理由,授予实用新型专利权或外观设计专利权。
2022-11-08
预估到期
发明专利权的期限为二十年,实用新型专利权期限为十年,外观设计专利权期限为十五年,均自申请日起计算。专利届满后法律终止保护。
2038-08-30
基本信息
有效性 有效专利 专利类型 发明专利
申请号 CN201811006393.1 申请日 2018-08-30
公开/公告号 CN109190093B 公开/公告日 2022-11-08
授权日 2022-11-08 预估到期日 2038-08-30
申请年 2018年 公开/公告年 2022年
缴费截止日
分类号 G06F40/194G06F16/16G06F8/41G09B19/00 主分类号 G06F40/194
是否联合申请 独立申请 文献类型号 B
独权数量 1 从权数量 4
权利要求数量 5 非专利引证数量 0
引用专利数量 3 被引证专利数量 0
非专利引证
引用专利 CN105447907A、CN106846203A、US4705479A 被引证专利
专利权维持 4 专利申请国编码 CN
专利事件 事务标签 公开、实质审查、授权
申请人信息
申请人 第一申请人
专利权人 杭州电子科技大学 当前专利权人 杭州电子科技大学
发明人 黄继业、谢尚港、陆燕怡、马德、曾毓 第一发明人 黄继业
地址 浙江省杭州市下沙高教园区2号大街1号 邮编 310018
申请人数量 1 发明人数量 5
申请人所在省 浙江省 申请人所在市 浙江省杭州市
代理人信息
代理机构
专利代理机构是经省专利管理局审核,国家知识产权局批准设立,可以接受委托人的委托,在委托权限范围内以委托人的名义办理专利申请或其他专利事务的服务机构。
浙江永鼎律师事务所 代理人
专利代理师是代理他人进行专利申请和办理其他专利事务,取得一定资格的人。
陆永强
摘要
本发明公开了在线Verilog代码自动判决系统的自动评分方法:系统访问标准答案库,复制对应的标准答案文件存放到临时文件夹;系统运行标准答案文件夹中的.do文件、.vt文件编译学生提交的Verilog代码文件,并进行库的加载;系统在linux下运行modelsim进行.vt仿真,根据学生提交的答案Verilog文件进行仿真,截取控制台输出至.result文件;系统根据.tm文件中所书写的时间范围,对比仿真结果.result文件和标准答案.cmp文件计算得到分数结果。本发明.do文件使用vsim指令编译学生答案.V文件和答案文件夹中的.vt文件,并根据.vt文件进行仿真。题目所需要输出的待测试模块,各个信号的激励以及抓取信号的指令$monitor都写在.vt文件中。从而架构其整个Verilog代码判决系统,大大降低了对于Verilog类题目判决的成本。
  • 摘要附图
    一种在线Verilog代码自动判决系统的自动评分方法
  • 说明书附图:图1
    一种在线Verilog代码自动判决系统的自动评分方法
  • 说明书附图:图2
    一种在线Verilog代码自动判决系统的自动评分方法
法律状态
序号 法律状态公告日 法律状态 法律状态信息
1 2022-11-08 授权
2 2019-02-12 实质审查的生效 IPC(主分类): G06F 17/22 专利申请号: 201811006393.1 申请日: 2018.08.30
3 2019-01-11 公开
权利要求
权利要求书是申请文件最核心的部分,是申请人向国家申请保护他的发明创造及划定保护范围的文件。
1.一种在线Verilog代码自动判决系统的自动评分方法,其特征在于,包括:
S1,系统访问标准答案库,复制对应的标准答案文件存放到临时文件夹;标准答案文件包括.do文件,.vt文件,.cmp文件,.tm文件,其中.do文件用于编译verilog代码和.vt文件,.vt文件用于对输入信号进行激励和对输出信号进行抓取,.cmp文件用于对比输出结果,.tm文件用于记录输出对比所需要忽略的时间范围;
S2,系统运行标准答案文件夹中的.do文件、.vt文件编译学生提交的Verilog代码文件,并进行库的加载;其中所需要的库写在.do文件内;
S3,系统在linux下运行modelsim进行.vt仿真,根据学生提交的答案Verilog文件进行仿真,截取控制台输出至.result文件;
S4,系统根据.tm文件中所书写的时间范围,对比仿真结果.result文件和标准答案.cmp文件计算得到分数结果,计算方式为:(1‑不匹配的时间点的总数/.cmp文件中的时间点总数)×100,如果结果为复数就记为0。

2.根据权利要求1所述的方法,其特征在于,所述系统访问标准答案库,复制对应的标准答案文件存放到临时文件夹,具体包括:
S10,系统根据题目寻找到标准答案库中相对应的标准答案;
S11,新建临时答案文件夹;复制标准答案.do文件,.vt文件,.tm文件,.cmp文件放入系统临时的答案文件夹。

3.根据权利要求1所述的方法,其特征在于,所述系统运行标准答案文件夹中的.do文件、.vt文件编译学生提交的Verilog代码文件,并进行库的加载,具体包括:
S20,建立modelsim工程编译学生提交的Verilog代码和答案文件夹中的.vt文件;
S21,若是编译不成功返回编译错误结果,删除答案文件夹;若是编译成功,运行.do文件,通过vsim命令进行库文件的添加以及.vt的仿真。

4.根据权利要求1所述的方法,其特征在于,所述系统在linux下运行modelsim进行.vt仿真,具体包括:
S30,运行.vt文件,其中所需要输出的待测试模块,各个信号的激励以及抓取信号的指令$monitor都写在.vt文件中;
S31,将所有输出打包成为.result文件。

5.根据权利要求1所述的方法,其特征在于,所述系统根据.tm文件中所书写的时间范围,对比仿真结果.result文件和标准答案.cmp文件计算得到分数结果,具体包括:
S40,系统对比两个文件的输出信号结果,若是结果正确则继续;若是结果错误直接返回网页零分,并删除答案文件夹;
S41,系统根据.tm文件中所书写的时间范围,对比.cmp文件和带时间戳的仿真结果.result文件,根据(1‑不匹配的时间点的总数/.cmp文件中的时间点总数)×100,如果结果为复数就记为0,得到学生分数成绩;
S42,返回网页学生成绩并删除答案文件夹。
说明书

技术领域

[0001] 本发明涉及在线教育领域中在线代码自动判决,尤其涉及一种在线Verilog代码自动判决系统的自动评分方法。

背景技术

[0002] 在EDA(Electronic Design Automatic电子设计自动化)课程在线教育过程中,对Verilog题目判决是一种全新的在线教育方法,有着较为广泛的应用前景;而实现对Verilog题目判决这种功能的关键在于设计并实现一套在现有EDA工具下关于Verilog代码解析,仿真和判决的算法,尤其是关于Verilog代码的解析和仿真;在传统的技术中,通常是关于c或者c++代码判题的系统,应用于ACM比赛当中,并没有关于Verilog代码判题的系统。

发明内容

[0003] 本发明实施例提供了一种在线Verilog代码自动判决系统的自动评分方法,可以判断Verilog代码答案的正确度,减少人工参与,从而降低判题成本。
[0004] 为了解决上述技术问题,本发明实施例提供的一种在线Verilog代码自动判决系统的自动评分方法,包括以下步骤:
[0005] S1,系统访问标准答案库,复制对应的标准答案文件存放到临时文件夹;标准答案文件包括.do文件,.vt文件,.cmp文件,.tm文件,其中.do文件用于编译verilog代码和.vt文件,.vt文件用于对输入信号进行激励和对输出信号进行抓取,.cmp文件用于对比输出结果,.tm文件用于记录输出对比所需要忽略的时间范围;
[0006] S2,系统运行标准答案文件夹中的.do文件、.vt文件编译学生提交的Verilog代码文件,并进行库的加载;其中所需要的库写在.do文件内;
[0007] S3,系统在linux下运行modelsim进行.vt仿真,根据学生提交的答案Verilog文件进行仿真,截取控制台输出至.result文件;
[0008] S4,系统根据.tm文件中所书写的时间范围,对比仿真结果.result文件和标准答案.cmp文件计算得到分数结果,计算方式为:(1‑不匹配的时间点的总数/.cmp文件中的时间点总数)×100,如果结果为复数就记为0。
[0009] 优选地,所述系统访问标准答案库,复制对应的标准答案文件存放到临时文件夹,具体包括:
[0010] S10,系统根据题目寻找到标准答案库中相对应的标准答案;
[0011] S11,新建临时答案文件夹;复制标准答案.do文件,.vt文件,.tm文件,.cmp文件放入系统临时的答案文件夹。
[0012] 优选地,所述系统运行标准答案文件夹中的.do文件、.vt文件编译学生提交的Verilog代码文件,并进行库的加载,具体包括:
[0013] S20,建立modelsim工程编译学生提交的Verilog代码和答案文件夹中的.vt文件;
[0014] S21,若是编译不成功返回编译错误结果,删除答案文件夹;若是编译成功,运行.do文件,通过vsim命令进行库文件的添加以及.vt的仿真。
[0015] 优选地,所述系统在linux下运行modelsim进行.vt仿真,具体包括:
[0016] S30,运行.vt文件,其中所需要输出的待测试模块,各个信号的激励以及抓取信号的指令$monitor都写在.vt文件中;
[0017] S31,将所有输出打包成为.result文件。
[0018] 优选地,所述系统根据.tm文件中所书写的时间范围,对比仿真结果.result文件和标准答案.cmp文件计算得到分数结果,具体包括:
[0019] S40,系统对比两个文件的输出信号结果,若是结果正确则继续;若是结果错误直接返回网页零分,并删除答案文件夹;
[0020] S41,系统根据.tm文件中所书写的时间范围,对比.cmp文件和带时间戳的仿真结果.result文件,根据(1‑不匹配的时间点的总数/.cmp文件中的时间点总数)×100,如果结果为复数就记为0,得到学生分数成绩;
[0021] S42,返回网页学生成绩并删除答案文件夹。
[0022] 本发明的有益效果如下:
[0023] 通过建立独立进程的方式使得实现多用户同时访问的功能;通过答案库现有的.vt文件使得系统可以对于学生的答案进行仿真并得到相关的输出文件,从而与标准答案进行对比。其中的.vt件是教师根据题目编写verilog代码编译和编辑.vwf波形文件后仿真得到的,与标准答案.cmp以及时间范围.tm文件一起存入答案库中,为对比得到答案的准确率做准备。这些文件有效地支持了整个Verilog答案的编译,仿真,正确率判断的过程。实现Verilog代码正确率判断。独立进程的答案判断运行满足了多用户同时访问的要求。

实施方案

[0026] 为了使本发明的目的、技术方案及优点更加清楚明白,以下结合附图及实施例,对本发明进行进一步详细说明。应当理解,此处所描述的具体实施例仅仅用以解释本发明,并不用于限定本发明。
[0027] 相反,本发明涵盖任何由权利要求定义的在本发明的精髓和范围上做的替代、修改、等效方法以及方案。进一步,为了使公众对本发明有更好的了解,在下文对本发明的细节描述中,详尽描述了一些特定的细节部分。对本领域技术人员来说没有这些细节部分的描述也可以完全理解本发明。
[0028] 首先,需要了解的是本发明所述一种在线Verilog代码自动判决系统的自动评分方法,在本实施例中是用于实现关于Verilog类题目代码的正确率高低的判决系统。当判题系统运行时,其系统将开启一个独立的进程进行答案判定。
[0029] 参见图1,为本发明实施例的本发明的技术方案为在线Verilog代码自动判决系统的自动评分方法的步骤流程图,包括以下步骤:
[0030] S1,系统访问标准答案库,复制对应的标准答案文件存放到临时文件夹;标准答案文件包括.do文件,.vt文件,.cmp文件,.tm文件,其中.do文件用于编译verilog代码和.vt文件,.vt文件用于对输入信号进行激励和对输出信号进行抓取,.cmp文件用于对比输出结果,.tm文件用于记录输出对比所需要忽略的时间范围;
[0031] S2,系统运行标准答案文件夹中的.do文件、.vt文件编译学生提交的Verilog代码文件,并进行库的加载;其中所需要的库写在.do文件内;
[0032] S3,系统在linux下运行modelsim进行.vt仿真,根据学生提交的答案Verilog文件进行仿真,截取控制台输出至.result文件;
[0033] S4,系统根据.tm文件中所书写的时间范围,对比仿真结果.result文件和标准答案.cmp文件计算得到分数结果,计算方式为:(1‑不匹配的时间点的总数/.cmp文件中的时间点总数)×100,如果结果为复数就记为0。
[0034] 参见图2,为具体实施例的步骤流程图,S1系统访问标准答案库,复制对应的标准答案文件存放到临时文件夹,具体包括:
[0035] S10,系统根据题目寻找到标准答案库中相对应的标准答案;
[0036] S11,新建临时答案文件夹;复制标准答案.do文件,.vt文件,.tm文件,.cmp文件放入系统临时的答案文件夹。
[0037] S2系统运行标准答案文件夹中的.do文件、.vt文件编译学生提交的Verilog代码文件,并进行库的加载,具体包括:
[0038] S20,建立modelsim工程编译学生提交的Verilog代码和答案文件夹中的.vt文件;
[0039] S21,若是编译不成功返回编译错误结果,删除答案文件夹;若是编译成功,运行.do文件,通过vsim命令进行库文件的添加以及.vt的仿真。
[0040] S3系统在linux下运行modelsim进行.vt仿真,具体包括:
[0041] S30,运行.vt文件,其中所需要输出的待测试模块,各个信号的激励以及抓取信号的指令$monitor都写在.vt文件中;
[0042] S31,将所有输出打包成为.result文件。
[0043] S4系统根据.tm文件中所书写的时间范围,对比仿真结果.result文件和标准答案.cmp文件计算得到分数结果,具体包括:
[0044] S40,系统对比两个文件的输出信号结果,若是结果正确则继续;若是结果错误直接返回网页零分,并删除答案文件夹;
[0045] S41,系统根据.tm文件中所书写的时间范围,对比.cmp文件和带时间戳的仿真结果.result文件,根据(1‑不匹配的时间点的总数/.cmp文件中的时间点总数)×100,如果结果为复数就记为0,得到学生分数成绩;
[0046] S42,返回网页学生成绩并删除答案文件夹。
[0047] 上述判题过程使用多进程方式,每个进程都能执行完整的判题操作,使得多用户能同时访问,满足了用户的需求。
[0048] 上述本申请实施例中的技术方案,可以判断Verilog代码的语法正确性,可以判断Verilog答案的效果正确性,可以返回Verilog代码的错误原因,可以直接返回成绩给用户,可以多用户同时进行判决。所以,有效解决了现有技术中缺乏关于Verilog类题目答案的判决系统的技术问题,进而实现了能够智能化、不间断运行、无人工操作的判决Verilog代码正确率的技术效果。
[0049] 本方法对其他HDL硬件描述语言的题目也同样适用,包括VHDL、System C和SystemVerilog。
[0050] 以上所述仅为本发明的较佳实施例而已,并不用以限制本发明,凡在本发明的精神和原则之内所作的任何修改、等同替换和改进等,均应包含在本发明的保护范围之内。

附图说明

[0024] 图1为本发明实施例的在线Verilog代码自动判决系统的自动评分方法的步骤流程图;
[0025] 图2为本发明实施例的在线Verilog代码自动判决系统的自动评分方法中具体步骤流程图。
版权所有:盲专网 ©2023 zlpt.xyz  蜀ICP备2023003576号