publicações selecionadas Estimação de potência em circuitos digitais utilizando técnicas de enumeração implícita,