Desenvolvimento de Ferramentas de CAD para Circuitos Digitais