Educational software for digital electronics: BOOLE-DEUSTO | IEEE Conference Publication | IEEE Xplore