Please use this identifier to cite or link to this item: http://hdl.handle.net/10609/92575
Title: Experiences in digital circuit design courses: a self-study platform for learning support
Author: Baneres, David  
Clarisó, Robert  
Jorba, Josep  
Serra, Montse  
Others: Universitat Oberta de Catalunya (UOC)
Citation: Baneres, D., Clarisó, R., Jorba, J. & Serra, M. (2014). Experiences in digital circuit design courses: a self-study platform for learning support. IEEE Transactions on Learning Technologies, 7(4), 360-374. doi: 10.1109/TLT.2014.2320919
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.
Keywords: digital circuit design
automatic assessment
e-learning
formal verification
model checking
DOI: 10.1109/tlt.2014.2320919
Document type: info:eu-repo/semantics/article
Version: info:eu-repo/semantics/publishedVersion
Issue Date: Oct-2014
Appears in Collections:Articles cientÍfics
Articles

Files in This Item:
File Description SizeFormat 
experiences.pdf1,32 MBAdobe PDFThumbnail
View/Open
Share:
Export:
View statistics

Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.