Automated construction of a cycle-approximate transaction level model of a memory controller | IEEE Conference Publication | IEEE Xplore