RTL concurrent fault simulation | IEEE Conference Publication | IEEE Xplore