Library pruning and sigma corner libraries for power efficient variation tolerant processor pipelines | IEEE Conference Publication | IEEE Xplore