A novel approach for functional verification of memory protocol standard | IEEE Conference Publication | IEEE Xplore