A Case Study on At-Speed Testing for a Gigahertz Microprocessor | IEEE Conference Publication | IEEE Xplore