Register-transfer level simulation | IEEE Conference Publication | IEEE Xplore