Functional Verification of DMA Controllers