%0 Thesis
%T Modelagem e validação de redes intrachip através de síntese comportamental
%U http://tede2.pucrs.br/tede2/handle/tede/5021
%I Pontifícia Universidade Católica do Rio Grande do Sul