A METHODOLOGY FOR FUNCTIONAL LEVEL TESTING OF MICROPROCESSORS | IEEE Conference Publication | IEEE Xplore