A Coverage-Driven Constraint Random-Based Functional Verification Method of Memory Controller | IEEE Conference Publication | IEEE Xplore