Maximizing Efficiency in Reference Model Based Verification of 2D Graphics Engine | IEEE Conference Publication | IEEE Xplore