{"id":813,"date":"2018-12-03T16:02:20","date_gmt":"2018-12-03T18:02:20","guid":{"rendered":"https:\/\/wp.ufpel.edu.br\/notcc\/?p=813"},"modified":"2018-12-03T16:02:44","modified_gmt":"2018-12-03T18:02:44","slug":"banca-de-tcc-andrei-ali-odes-bubolz","status":"publish","type":"post","link":"https:\/\/wp.ufpel.edu.br\/notcc\/banca-de-tcc-andrei-ali-odes-bubolz\/","title":{"rendered":"Banca de TCC &#8211; Andrei Ali Odes Bubolz"},"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 (2018\/2)<\/p>\n<p style=\"text-align: center\">Implementa\u00e7\u00e3o de Um M\u00e9todo de Posicionamento de Transistores Baseado em Satisfatibilidade Booleana na Ferramenta ASTRAN<br \/>\npor<br \/>\nAndrei Ali Odes Bubolz\n<\/p>\n<p>Curso:<br \/>\nEngenharia de Computa\u00e7\u00e3o<\/p>\n<p>Banca:<br \/>\nProf. Felipe de Souza Marques (orientador(a))<br \/>\nProf. Maicon Schneider Cardoso (coorientador(a))<br \/>\nProf. Bruno Zatt<br \/>\nProf. Julio Sara\u00e7ol Domingues Junior<\/p>\n<p>Data: 04 de dezembro de 2018<\/p>\n<p>Hora: 10:00<\/p>\n<p>Local: Lab 1<\/p>\n<p style=\"text-align: justify\"><!--more-->Resumo do Trabalho:<br \/>\nEste trabalho apresenta um m\u00e9todo alternativo para a etapa de posicionamento de transistores da ferramenta de c\u00f3digo aberto ASTRAN, um gerador autom\u00e1tico de leiautes que atualmente utiliza a t\u00e9cnica de Threshold Accepting (TA) para esse prop\u00f3sito. Embora alcance solu\u00e7\u00f5es otimizadas, o TA n\u00e3o garante a solu\u00e7\u00e3o com \u00e1rea m\u00ednima. O m\u00e9todo apresentado neste trabalho baseia-se em satisfatibilidade Booleana e assegura a aloca\u00e7\u00e3o de transistores em largura m\u00ednima em um leiaute 1-D. A proposta consiste em formular o problema de posicionamento atrav\u00e9s de um conjunto de vari\u00e1veis Booleanas e cl\u00e1usulas descritas em quatro restri\u00e7\u00f5es predefinidas. O algoritmo foi inserido na ferramenta ASTRAN a fim de ser comparado com o m\u00e9todo atual (TA) a partir de portas l\u00f3gicas complexas obtidas em cat\u00e1logos com fun\u00e7\u00f5es l\u00f3gicas variadas. Experimentos foram realizados visando contrastar ambas as solu\u00e7\u00f5es em termos de largura final usando um modelo de pseudo-leiaute 1-D. Posteriormente, foram verificados aspectos geom\u00e9tricos tais como a \u00e1rea da c\u00e9lula, wirelength e n\u00famero de contatos. Da mesma forma, foram comparados os tempos de execu\u00e7\u00e3o tanto para a etapa de posicionamento, quanto para o fluxo completo de s\u00edntese. Com os resultados obtidos, conclui-se que, na maior parte dos casos, a otimiza\u00e7\u00e3o na \u00e1rea da c\u00e9lula est\u00e1 intrinsecamente ligada \u00e0 minimiza\u00e7\u00e3o da largura do leiaute garantida pelo m\u00e9todo proposto. Ademais, al\u00e9m do ganho geom\u00e9trico, observou-se uma melhoria nos tempos de execu\u00e7\u00e3o, seja considerando apenas a etapa de posicionamento ou o fluxo de s\u00edntese completo.<\/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 (2018\/2) Implementa\u00e7\u00e3o de Um M\u00e9todo de Posicionamento de Transistores Baseado em Satisfatibilidade Booleana na Ferramenta ASTRAN por Andrei Ali Odes Bubolz Curso: Engenharia de Computa\u00e7\u00e3o Banca: Prof. Felipe de Souza Marques (orientador(a)) Prof. Maicon Schneider Cardoso (coorientador(a)) Prof. Bruno Zatt [&hellip;]<\/p>\n","protected":false},"author":800,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5],"tags":[],"class_list":["post-813","post","type-post","status-publish","format-standard","hentry","category-bancas"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/posts\/813","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/users\/800"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/comments?post=813"}],"version-history":[{"count":1,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/posts\/813\/revisions"}],"predecessor-version":[{"id":815,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/posts\/813\/revisions\/815"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/media?parent=813"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/categories?post=813"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/notcc\/wp-json\/wp\/v2\/tags?post=813"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}