Computer systems pedagogy using digital logic simulation | IEEE Conference Publication | IEEE Xplore