Detecting race conditions in asynchronous DMA operations with full system simulation | IEEE Conference Publication | IEEE Xplore