Source: https://www.researchgate.net/publication/281478791_An_approach_to_Direct_Memory_Access_module_verification/fulltext/56a8fcb908aef6e05df283d8/An-approach-to-Direct-Memory-Access-module-verification.pdf