TYMER: A Yield-based Performance Model for Timing-speculation SRAM | IEEE Conference Publication | IEEE Xplore