A novel approach for functional verification of memory protocol standard.