[发明专利]一种基于Verilog的判题装置、方法及系统

权利要求书

1.一种基于Verilog的判题装置，其特征在于：包括用于接收用户的Verilog答案信息的录入模块(1)、用于对用户的Verilog答案信息进行仿真处理的处理模块(2)、预设参数的判定模块(3)以及将判定结果传输到用户的输出模块(4)；所述处理模块(2)包括：用于检测Verilog答案信息的文件类型是否符合格式要求的检测反馈模块(21)、用于对Verilog答案信息进行仿真的仿真模块(22)和用于将仿真结果进行转换的转换模块(23)，所述仿真模块(22)与检测反馈模块(21)连接；

所述录入模块(1)将接收的Verilog答案信息传输到检测反馈模块(21)，当检测反馈模块(21)检测到Verilog答案信息的文件类型不符合格式要求时，将检测结果通过输出模块(4)输出到用户；

当检测反馈模块(21)检测到Verilog答案信息的文件类型符合格式要求时，将Verilog答案信息传输到仿真模块(22)，经仿真模块(22)进行处理后得到仿真结果，所述仿真结果包括程序执行结果、代码错误信息或可能存在的波形信息；

所述转换模块(23)采用以下任意一种技术对波形信息进行转换：(a)采用脚本程序将波形信息依次转换为JSON格式数据和字符串信息；(b)转换模块(23)采用开源软件或HTML5中的Canvas技术将波形信息转换成图片信息；其中，所述JSON格式数据包括波形信息文件的时间精度、变量定义方式、值变化信息；

判定模块(3)根据预设参数对程序执行结果、字符串信息或图片信息进行判定处理，再通过输出模块(4)输出到用户；所述代码错误信息通过输出模块(4)输出到用户。

2.一种基于Verilog的判题方法，其特征在于：包括以下步骤：

A.接收Verilog答案信息；

B.利用仿真工具对Verilog答案信息进行仿真，生成仿真结果，其中仿真结果包括程序执行结果、代码错误信息以及波形信息；

C.对波形信息进行转换得到转换后的信息；其中，所述波形信息的转换步骤包括以下任意一种：

C1:采用脚本程序将波形信息依次转换为JSON格式数据和字符串信息；所述JSON格式数据包括波形信息文件的时间精度、变量定义方式、值变化信息；

C2:采用开源软件或HTML5中的Canvas技术将波形信息转换成图片信息；

D.根据预设的参数对程序执行结果以及转换后的信息进行判定，得到判定结果；

E.输出结果。

3.根据权利要求2所述的一种基于Verilog的判题方法，其特征在于：所述步骤A接收Verilog答案信息，其中Verilog答案信息包括题目信息、Verilog代码以及测试用例。

4.根据权利要求2所述的一种基于Verilog的判题方法，其特征在于：所述步骤B中，利用开源仿真工具Icarus Verilog对Verilog答案信息进行编译仿真得到仿真结果。

5.一种基于Verilog的判题系统，其特征在于：包括

浏览器(10)，用于供用户录入Verilog答案信息；

处理器(20)，用于对Verilog答案信息进行处理；

寄存器(30)，用于存储处理器(20)可执行的指令；

所述处理器(20)根据寄存器(30)的指令执行以下步骤：

a.利用仿真工具对Verilog答案信息进行仿真，生成仿真结果，其中仿真结果包括程序执行结果、代码错误信息以及波形信息；

b.对波形信息进行转换得到转换后的信息；其中，所述波形信息的转换步骤包括以下任意一种：

b1:采用脚本程序将波形信息依次转换为JSON格式数据和字符串信息；所述JSON格式数据包括波形信息文件的时间精度、变量定义方式、值变化信息；

b2:采用开源软件或HTML5中的Canvas技术将波形信息转换成图片信息；

c.根据预设的参数对程序执行结果以及转换后的信息进行判定，得到判定结果；

d.输出结果。