Estudo de caso: tornando um projeto testável utilizando ferramentas Synopsys - Silveira, Reinaldo; Amazonas, José Roberto de Almeida (Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Telecomunicações e Controle, 2000)