{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T14:33:54Z","timestamp":1774449234200,"version":"3.50.1"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2014,10,1]],"date-time":"2014-10-01T00:00:00Z","timestamp":1412121600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"APLICA 2010 innovation"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Learning Technol."],"published-print":{"date-parts":[[2014,10,1]]},"DOI":"10.1109\/tlt.2014.2320919","type":"journal-article","created":{"date-parts":[[2014,4,29]],"date-time":"2014-04-29T18:03:18Z","timestamp":1398794598000},"page":"360-374","source":"Crossref","is-referenced-by-count":34,"title":["Experiences in Digital Circuit Design Courses: A Self-Study Platform for Learning Support"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0380-1319","authenticated-orcid":false,"given":"David","family":"Baneres","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Clariso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Jorba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Montse","family":"Serra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"49","article-title":"Application of BDDs on formal verification","author":"janssen","year":"0","journal-title":"Proc 22nd Int Conf Comput -Aided Design"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-97226-9_21"},{"key":"ref33","author":"vahid","year":"2007","journal-title":"Verilog for Digital Design"},{"key":"ref32","first-page":"451","article-title":"Integrating formal verification in an online judge for e-learning logic circuit design","author":"pedro","year":"0","journal-title":"Proc Technical Symp Computer Science Education"},{"key":"ref31","first-page":"359","article-title":"Solving digital logic assignments with automatic verification","author":"damm","year":"0","journal-title":"Proc Interactive Computer Aided Learning Conf"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2012.7"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.3794\/johlste.101.365"},{"key":"ref36","year":"0"},{"key":"ref35","author":"pedroni","year":"2004","journal-title":"Circuit Design With VHDL"},{"key":"ref34","year":"0"},{"key":"ref10","year":"0"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676711"},{"key":"ref11","year":"0"},{"key":"ref12","year":"0"},{"key":"ref13","year":"0"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"19","DOI":"10.19173\/irrodl.v12i3.882","article-title":"The challenges to connectivist learning on open online networks: Learning experiences during a massive open online course","volume":"12","author":"kop","year":"2011","journal-title":"Int Rev Res Open Distance Learn"},{"key":"ref15","year":"0"},{"key":"ref16","year":"0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/544430.544433"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICALT.2008.27"},{"key":"ref19","first-page":"377","article-title":"KERMIT: A constraint-based tutor for database modeling","author":"suraweera","year":"0","journal-title":"Proc Int Conf Intell Tutoring Syst"},{"key":"ref28","year":"0"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MSE.2007.60"},{"key":"ref27","year":"0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2004.824843"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MSE.2007.24"},{"key":"ref29","year":"0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1384271.1384357"},{"key":"ref8","year":"0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TLT.2010.33"},{"key":"ref2","first-page":"20","article-title":"Educational software for digital electronics: Boole-deusto","author":"zubia","year":"0","journal-title":"Proc IEEE Int Conf Microelectron Syst Edu"},{"key":"ref9","year":"0"},{"key":"ref1","year":"0"},{"key":"ref20","year":"0"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.1993.405538"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2157136.2157267"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/EDUCON.2010.5492473"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270318"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1163405.1163409"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/43.275352"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2010.2098442"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.1953.6371932"},{"key":"ref26","first-page":"49","article-title":"Design of adaptive e-learning for logic operations","volume":"4","author":"saleh","year":"2010","journal-title":"Int J Edu Inf Technlol"},{"key":"ref43","first-page":"241","article-title":"NuSMV 2: An opensource tool for symbolic model checking","volume":"2404","author":"cimatti","year":"0","journal-title":"Proc Int Conf Comput Aided Verification"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1414558.1414617"}],"container-title":["IEEE Transactions on Learning Technologies"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/iel7\/4620076\/6994335\/06807698.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4620076\/6994335\/06807698.pdf?arnumber=6807698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:01:14Z","timestamp":1642003274000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6807698\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,1]]},"references-count":45,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tlt.2014.2320919","relation":{},"ISSN":["1939-1382"],"issn-type":[{"value":"1939-1382","type":"print"}],"subject":[],"published":{"date-parts":[[2014,10,1]]}}}