Título:
|
Experiences in digital circuit design courses: a self-study platform for learning support
|
Autor/a:
|
Bañeres Besora, David; Clarisó Viladrosa, Robert; Jorba i Esteve, Josep; Serra Vizern, Montse
|
Otros autores:
|
Universitat Oberta de Catalunya (UOC) |
Abstract:
|
The synthesis of digital circuits is a basic skill in all the bachelor programmes around the ICT area of knowledge, such as Computer Science, Telecommunication Engineering or Electrical Engineering. An important hindrance in the learning process of this skill is that the existing educational tools for the design of circuits do not allow the student to validate if his design satisfies the specification. Furthermore, an automatic feedback is essential in order to help students to fix incorrect designs. In this paper, we propose an online platform where the students can design and verify their circuits with an individual and automatic feedback. The technical aspects of the platform and the designed verification tool are presented. The impact of the platform on the learning process of the students is illustrated by analyzing the student performance on the course where the platform has been used. Results on the utilization of the platform versus the success rate and marks in the final exam are presented and compared with previous semesters. |
Materia(s):
|
-digital circuit design -automatic assessment -e-learning -formal verification -model checking -diseño de circuito digital -evaluación automática -e-learning -verificación formal -control de modelo -disseny de circuits digitals -avaluació automàtica -aprenentatge virtual -verificació formal -comprovació de models -Web-based instruction -Ensenyament virtual -Enseñanza virtual |
Derechos:
|
(c) Author/s & (c) Journal
|
Tipo de documento:
|
Artículo Artículo - Versión publicada |
Editor:
|
IEEE Transactions on Learning Technologies
|
Compartir:
|
|