publicações Sizing discreto baseado em relaxação lagrangeana para minimização de leakage em circuitos digitais Documento