%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