Gamifying Digital Logic Education: A Super Mario World Approach | IEEE Conference Publication | IEEE Xplore