{"id":3927,"date":"2015-12-09T08:00:27","date_gmt":"2015-12-09T10:00:27","guid":{"rendered":"http:\/\/inf.ufpel.edu.br\/site\/?p=3927"},"modified":"2015-12-09T08:00:27","modified_gmt":"2015-12-09T10:00:27","slug":"banca-de-tcc-joao-junior-da-silva-machado","status":"publish","type":"post","link":"https:\/\/wp.ufpel.edu.br\/computacao\/ccomp\/banca-de-tcc-joao-junior-da-silva-machado\/","title":{"rendered":"Banca de TCC:  Jo\u00e3o J\u00fanior da Silva Machado"},"content":{"rendered":"<p style=\"text-align: center\"><strong>UNIVERSIDADE FEDERAL DE PELOTAS<\/strong><br \/>\n<strong> CENTRO DE DESENVOLVIMENTO TECNOL\u00d3GICO<\/strong><br \/>\n<strong> TRABALHO DE CONCLUS\u00c3O DE CURSO<\/strong><\/p>\n<p style=\"text-align: center\">Apresenta\u00e7\u00f5es Finais (2015\/2)<\/p>\n<p style=\"text-align: center\">Desenvolvimento de um Algoritmo para Assinatura de C\u00e9lulas na Ferramenta FlexMap<br \/>\npor<br \/>\nJo\u00e3o J\u00fanior da Silva Machado<\/p>\n<p>Curso:<br \/>\nCi\u00eancia da Computa\u00e7\u00e3o<\/p>\n<p>Banca:<br \/>\nProf. Felipe de Souza Marques (orientador)<br \/>\nProf. Leomar da Rosa Junior (co-orientador)<br \/>\nProf. Julio Sara\u00e7ol Domingues J\u00fanior (co-orientador)<br \/>\nProf. J\u00falio Carlos Balzano de Mattos<br \/>\nProf. Rafael Iankowski Soares<\/p>\n<p>Data: 11 de Dezembro de 2015<\/p>\n<p>Hora: 13:30h<\/p>\n<p>Local: Lab 2<\/p>\n<p><!--more-->Resumo do Trabalho: O presente projeto de conclus\u00e3o de curso possui foco voltado para a etapa de s\u00edntese de circuitos integrados (CI), mais precisamente, a etapa de mapeamento tecnol\u00f3gico que ocorre durante o processo de s\u00edntese l\u00f3gica. O mapeamento \u00e9 uma das etapas mais importantes da s\u00edntese l\u00f3gica e consiste em encontrar um conjunto de c\u00e9lulas interconectadas para implementar um dado circuito digital, visando minimizar uma fun\u00e7\u00e3o objetivo, que modela caracter\u00edsticas como \u00e1rea, atraso, pot\u00eancia, etc. Sendo assim, o mapeamento \u00e9 respons\u00e1vel por definir as principais caracter\u00edsticas estruturais de um circuito. Este trabalho se concentra em investigar uma solu\u00e7\u00e3o para a etapa de casamento de padr\u00f5es, que \u00e9 uma das etapas do mapeamento tecnol\u00f3gico. A etapa de casamento de padr\u00f5es \u00e9 respons\u00e1vel por verificar a equival\u00eancia entre as por\u00e7\u00f5es do circuito com as c\u00e9lulas de biblioteca standard-cell. A quantidade de compara\u00e7\u00f5es necess\u00e1rias para identifica\u00e7\u00e3o de padr\u00f5es est\u00e1 diretamente relacionada ao tamanho do circuito e, tipicamente, este n\u00famero est\u00e1 na casa de centenas de milh\u00f5es. Neste sentido, investigar e propor novas metodologias para esta etapa pode viabilizar otimiza\u00e7\u00f5es consider\u00e1veis no tempo de execu\u00e7\u00e3o de uma ferramenta de s\u00edntese logica. A abordagem proposta visa a aplica\u00e7\u00e3o de t\u00e9cnicas estruturais (isomorfismo de grafos) para realizar o casamento de padr\u00f5es. A implementa\u00e7\u00e3o desta t\u00e9cnica, no contexto da ferramenta FlexMap, permite uma acelera\u00e7\u00e3o nos atuais algoritmos de mapeamento tecnol\u00f3gico dispon\u00edveis na ferramenta.<\/p>\n<p>Para mais informa\u00e7\u00f5es acesse: <a href=\"http:\/\/inf.ufpel.edu.br\/notcc\/doku.php?id=bancas:2015_2\" target=\"_blank\" rel=\"noopener noreferrer\">http:\/\/inf.ufpel.edu.br\/notcc\/doku.php?id=bancas:2015_2<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>UNIVERSIDADE FEDERAL DE PELOTAS CENTRO DE DESENVOLVIMENTO TECNOL\u00d3GICO TRABALHO DE CONCLUS\u00c3O DE CURSO Apresenta\u00e7\u00f5es Finais (2015\/2) Desenvolvimento de um Algoritmo para Assinatura de C\u00e9lulas na Ferramenta FlexMap por Jo\u00e3o J\u00fanior da Silva Machado Curso:&#46;&#46;&#46;<\/p>\n","protected":false},"author":881,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[4,19,17],"tags":[],"class_list":["post-3927","post","type-post","status-publish","format-standard","hentry","category-ccomp","category-ecomp","category-noticia"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/paGhNl-11l","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/3927","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/users\/881"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/comments?post=3927"}],"version-history":[{"count":0,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/3927\/revisions"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/media?parent=3927"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/categories?post=3927"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/tags?post=3927"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}