%0 Thesis %T Verificação e prototipação de redes intrachip : o estudo de caso Hermes-TB %U http://tede2.pucrs.br/tede2/handle/tede/5081 %I Pontifícia Universidade Católica do Rio Grande do Sul