围绕系统能力培养,构造递进式实验体系

基于B/S架构的自动评测系统

自动化评价学生提交的实验代码。在线自动化测试使得严谨完善的测试成为可能,同时测试结果的统计分析有力支撑了教学设计改进。

计算机组成实验体系

涵盖3大类实验:数字逻辑、汇编语言、计算机组成。

语言/工具:MIPS汇编/Verilog、Logisim、MARS、ISE。

师资培训服务

联合新工科联盟,每年暑期举办师资培训班, 2018计算机组成CPU工程化方法师资培训

个性化的教学设计服务,根据用户学校情况,给出具体的、针对性的课程与实验体系建设服务。

CPU开发工程化方法

大幅度降低CPU开发复杂度。

数据通路

CPU结构表达为部件集合关系及输入输出拓扑关系。

数据通路

基于生产者/消费者模型构造冲突分析与策略矩阵。

优势:1.设计:与实现解耦。2.综合:整体综合,且可计算。3.排错:错误可追溯。

计算机组成实验资源

除最后一个“MIPS微系统系统验证”实验,其它实验都支持自动评测。列表中基于Verilog的所有实验支持FPGA在线硬件实验系统,需要配套使用ISE综合软件。

实验类别 实验列表 实验工具 自动评测
数字逻辑
swap电路(组合逻辑) Logisim
排序电路(基于swap电路搭建) Logisim
求解多元线性回归问题 Logisim
2^n mod 5(移位取模,时序逻辑) Logisim
斐波那契数列(64个周期内计算出序号小于8的任意斐波那契数) Logisim
斐波那契数列-挑战(64个周期内计算出序号小于2^32的任意斐波那契数) Logisim
CRC校验码计算 Logisim
字符自动机(正则表达式匹配) Logisim
字符自动机(正则表达式匹配并计数) Logisim
计数器 Verilog
字符自动机(正则表达式匹配) Verilog
格雷码计数器 Verilog
表达式状态机(表达式校验) Verilog
表达式状态机-允许括号(表达式校验) Verilog
汇编程序
判断闰年 MARS
稀疏矩阵转三元组 MARS
哈密顿回路(递归) MARS
矩阵乘法 MARS
选择排序 MARS
回文串判断 MARS
全排列 MARS
字符统计 MARS
矩阵的2^n次幂 MARS
0-1迷宫(深度优先遍历) MARS
矩阵转置相加 MARS
倒序全排列 MARS
计数排序 MARS
数字部件
4位全加器 Logisim
4位比较器 Logisim
4位ALU Logisim
4位加法器 Verilog
32位六运算ALU Verilog
CPU
单周期CPU (logisim) Logisim
单周期CPU Verilog
多周期CPU(1) Verilog
多周期CPU(2) Verilog