Projeto de circuitos integrados digitais utilizando-se de ferramentas computacionais de demonstração e profissional - Braga, V. S. M. (2014)