Automatic testing scheme of hardware description language programs for practice teaching | IEEE Conference Publication | IEEE Xplore