Functional verification of external memory interface IP core based on restricted random testbench | IEEE Conference Publication | IEEE Xplore