Variation-aware performance verification using at-speed structural test and statistical timingVikram IyengarJinjun Xionget al.2007ICCAD 2007