Asset Details
Do you wish to reserve the book?
Digital Twin for Designing Logic Gates in Minecraft Through Automated Circuit Verification and Real-Time Simulation
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
Digital Twin for Designing Logic Gates in Minecraft Through Automated Circuit Verification and Real-Time Simulation
Do you wish to request the book?
Digital Twin for Designing Logic Gates in Minecraft Through Automated Circuit Verification and Real-Time Simulation
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Journal Article
Digital Twin for Designing Logic Gates in Minecraft Through Automated Circuit Verification and Real-Time Simulation
2026
Overview
This article presents a gamified digital twin in Minecraft designed to support practical exercises in digital logic in the Computer Engineering I course at the University of Salamanca. Implemented as a Spigot/Paper server plugin based on the Platform for Automatic coNstruction of orGanizations of intElligent Agents (PANGEA) multi-agent architecture, the system orchestrates four virtual organizations and employs a world cloning strategy (via Multiverse and WorldGuard) to ensure individual and isolated workspaces, while also enabling collaborative work. The central contribution is a multi-agent system with an integrated ‘black box’ verification engine that mitigates redstone asynchrony and latency through controlled signal injection and software clock synchronization, enabling real-time deterministic validation of both basic logic gates and more complex sequential circuits. Additionally, the ecosystem includes a specialized suite of logic scenarios and a web-based dashboard for real-time teacher monitoring. In a pilot study (N=30), the system achieved an average task completion rate of 89.1%, and an adapted Unified Theory of Acceptance and Use of Technology (UTAUT) analysis indicated that technical stability is positively associated with student performance.
