Hardware/Firmware Verification of Graphic IP | IEEE Conference Publication | IEEE Xplore