A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Li Lei, Kai Cong, Zhenkun Yang, Fei Xie. "Validating direct memory access interfaces with conformance checking." 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (2014) 9-16