Validating direct memory access interfaces with conformance checking

Li Lei, Kai Cong, Zhenkun Yang, Fei Xie
2014 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)  
doi:10.1109/iccad.2014.7001323 dblp:conf/iccad/LeiCYX14 fatcat:eibk6ryronc7xe5l4d2aa37zii