Gulati, Kanupriya (2006-08). Computing leakage current distributions and determination of minimum leakage vectors for combinational designs. Master's Thesis. Thesis