Text this: Computing leakage current distributions and determination of minimum leakage vectors for combinational designs /