Validating direct memory access interfaces with conformance checking

  title={Validating direct memory access interfaces with conformance checking},
  author={Li Lei and Kai Cong and Zhenkun Yang and Fei Xie},
  journal={2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)},
Direct Memory Access (DMA) interfaces are a common and important component of Hardware/Software (HW/SW) interfaces between peripheral devices and their device drivers. We present a HW/SW co-validation framework to validate DMA interface implementations of a device and its driver. This framework employs a virtual prototype of the device as a reference model and performs co-validation in two stages: (1) conformance checking which checks the DMA interface conformance between the device and its… CONTINUE READING


Publications referenced by this paper.

Similar Papers

Loading similar papers…