[ca] L'objectiu d'aquest projecte és construir un sistema de correcció automàtica de circuits digitals i desplegar-lo a Jutge.org, permetent a qualsevol persona aprendre sobre circuits digitals dissenyant-los, provant-los i validant-los sense que una persona faci l'avaluació manual. En conseqüència, el sistema resultant té el potencial de ser utilitzat en cursos de disseny de circuits, proporcionant una plataforma on els professors poden crear els seus propis problemes, i els estudiants poden resoldre'ls i rebre retroalimentació de manera automatitzada. Durant l'avaluació, la solució dels estudiants es compara directament amb la solució de referència sense haver de recórrer als tradicionals casos de prova. Així doncs, el sistema fa una correcció més exhaustiva verificant la correcció per a totes les entrades possibles i detectant problemes que, altrament, podrien haver passat desapercebuts. Tot i això, el nombre d'estats a comprovar creix exponencialment i, per garantir que la correcció es realitza de forma eficient sense sacrificar la fiabilitat, s'utilitzen tècniques de verificació formal per identificar casos concrets en què falla un disseny. Aquesta estratègia proporciona avaluacions precises alhora que proporciona als estudiants informació clara sobre les situacions en què el disseny difereix del comportament esperat sense revelar-ne la solució. Per facilitar que qualsevol persona en el disseny de circuits digitals, aquest projecte també proporciona una eina que permet als usuaris de Jutge.org construir els circuits visualment a través d'una interfície d'arrossegar i deixar anar, i enviar-los directament a Jutge.org sense necessitat que els usuaris escriguin codi en cap moment, millorant encara més l'experiència educativa

[es] El objetivo de este proyecto es construir un sistema de corrección automática de circuitos digitales y desplegarlo en Jutge.org, permitiendo a cualquiera persona aprender sobre circuitos digitales diseñándolos, probándolos y validándolos sin necesidad de que una persona realice la evaluación manual. Por ende, el sistema resultante tiene el potencial de ser utilizado en cursos de diseño de circuitos, proporcionando una plataforma donde los profesores pueden crear sus propios problemas, y los estudiantes pueden resolverlos y recibir feedback de forma automatizada. Durante la evaluación, la solución del estudiante se compara directamente con la solución de referencia sin tener que recurrir a los casos de prueba tradicionales. De este modo, el sistema realiza una corrección más exhaustiva verificando la corrección para todas las entradas posibles y detectando problemas que, de otro modo, podrían haber pasado desapercibidos. Sin embargo, el número de estados a comprobar crece exponencialmente y, para garantizar que la corrección se realiza de forma eficiente sin sacrificar la fiabilidad, se emplean técnicas de verificación formal para identificar casos concretos en los que falla un diseño. Esta estrategia proporciona evaluaciones precisas a la vez que proporciona a los estudiantes información clara sobre las situaciones en las que el diseño difiere del comportamiento esperado sin revelar la solución. Para facilitar que cualquier persona en el diseño de circuitos digitales, este proyecto también proporciona una herramienta que permite a los usuarios de Jutge.org construir los circuitos visualmente a través de una interfaz de arrastrar y soltar, y enviarlos directamente a Jutge.org sin necesidad de que los usuarios escriban código en ningún momento, mejorando aún más la experiencia educativa.