AI 中文总结
该研究提出DED协同讲授方法，结合Syrup硬件描述语言，帮助学生关联数字电路的可视化表示与可测试代码，通过调查数据验证其有效性。
AI 中文摘要
在表示数字电路时，二维手绘摆脱了硬件描述语言的线性结构，支持直观推理并明确电路结构。但这类手绘存在不精确且静态的问题：无法确保电路定义良好，也无法进行测试。我们既需要直观的可视化表示，也需要定义良好且可测试的表示，但学生难以将二者关联起来。为弥合这一差距，我们提出了绘制-编码-展示循环（Draw Encode Display Loop，DED），这是一种协同讲授动态方法，为学生提供了处理自然语言规范的系统方法：1. 绘制：绘制具有视觉信息的中间表示（真值表、特征表）以生成结构化电路图；2. 编码：通过标记输入、输出和中间值，将电路图直接转换为代码；3. 展示：使用内部开发的图示渲染器展示代码。该方法由Syrup支持，Syrup是一种面向教育的硬件描述语言，允许学生定义、实验和展示自己的电路。我们通过从两批学生收集的调查数据来验证这些方法。
英文摘要
When representing digital circuits, 2 dimensional hand drawings free us from the linear structure of hardware description languages, enabling intuitive reasoning and making structure explicit. However these drawings are imprecise and inert: they do not enforce that the circuits are well defined and cannot be tested. We want both intuitive visual representations and well defined testable ones but students can struggle to link one to the other. To bridge this gap we present the Draw Encode Display Loop (DED), a Co-Lecturing dynamic which equips students with a systematic method to tackle natural language specifications: 1. Draw: visually informative intermediate representations (truth tables, characteristic tables) to generate a structured circuit diagram. 2. Encode: the diagram by labelling inputs, outputs and intermediate values which can be directly converted to code. 3. Display: the code using an in-house diagrammatic renderer. This is supported by Syrup, an education-focused hardware description language which allows students to define, experiment with and display their own circuits. We support these approaches with survey data gathered from two cohorts of students.
