Innovative verification strategy reduces design cycle time for high-end SPARC processor | IEEE Conference Publication | IEEE Xplore