HAL III: function level hardware logic simulation | IEEE Conference Publication | IEEE Xplore