Specification and Implementation of a DMA Controller in an Embedded System