Strategies for functional testing of microprocessors | IEEE Conference Publication | IEEE Xplore