@article{articlea4ec3355,
title   = {Estudo de caso: tornando um projeto testável utilizando ferramentas Synopsys},
author = {Silveira, Reinaldo and Amazonas, José Roberto de Almeida},
year = {2000},
journal   = {Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Telecomunicações e Controle}
}