A case study of improving at-speed testing coverage of a gigahertz microprocessor | IEEE Conference Publication | IEEE Xplore