Validating direct memory access interfaces with conformance checking.

Li Lei, Kai Cong, Zhenkun Yang, Fei Xie

Browse the full ICCAD paper archive.