%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