{"id":1817,"date":"2021-04-05T19:52:33","date_gmt":"2021-04-05T19:52:33","guid":{"rendered":"https:\/\/www.ufrgs.br\/emicro\/?page_id=1817"},"modified":"2021-04-23T14:06:40","modified_gmt":"2021-04-23T14:06:40","slug":"renatoribas","status":"publish","type":"page","link":"https:\/\/www.ufrgs.br\/emicro\/renatoribas\/","title":{"rendered":"Renato Ribas"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"1817\" class=\"elementor elementor-1817\" data-elementor-settings=\"[]\">\n\t\t\t\t\t\t\t<div class=\"elementor-section-wrap\">\n\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-a2e0de1 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"a2e0de1\" data-element_type=\"section\" data-settings=\"{&quot;ekit_has_onepagescroll_dot&quot;:&quot;yes&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-61ae1dbc\" data-id=\"61ae1dbc\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-7fc3cdef elementor-widget elementor-widget-spacer\" data-id=\"7fc3cdef\" data-element_type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-1693ea5b elementor-widget elementor-widget-heading\" data-id=\"1693ea5b\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Renato Ribas<\/h1>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3e919a51 elementor-widget elementor-widget-heading\" data-id=\"3e919a51\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">UFRGS \u2013 PGMICRO \/ PPGC, Porto Alegre<\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-13e99d71 elementor-widget elementor-widget-text-editor\" data-id=\"13e99d71\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-text-editor elementor-clearfix\"><p>rpribas@inf.ufrgs.br<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-376bb5ad elementor-widget elementor-widget-heading\" data-id=\"376bb5ad\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Benchmark Exato para s\u00edntese l\u00f3gica<\/h1>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3eb80c56 elementor-widget elementor-widget-text-editor\" data-id=\"3eb80c56\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-text-editor elementor-clearfix\"><p><b>Resumo:<\/b><br \/>A exist\u00eancia de benchmarks exatos para a avalia\u00e7\u00e3o de algoritmos e ferramentas computacionais permite verificar o qu\u00e3o distante os resultados obtidos est\u00e3o de solu\u00e7\u00f5es \u00f3timas. Ser\u00e1 apresentada uma metodologia para a gera\u00e7\u00e3o de benchmarks exatos para a etapa de s\u00edntese l\u00f3gica no projeto de circuitos digitais (FPGAs and ASICs), ainda na etapa de desenvolvimento do circuito independente da tecnologia. Os resultados demonstram que h\u00e1 muito espa\u00e7o para melhoria dessas ferramentas de CAD.<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-26f1e66d elementor-widget elementor-widget-text-editor\" data-id=\"26f1e66d\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-text-editor elementor-clearfix\"><span style=\"font-weight: 700;\">Biografia:<\/span><br><p>Renato Ribas \u00e9 Graduado (UFRGS, 1991) e mestre (Unicamp, 1994) em Eng. El\u00e9trica, doutor em Microeletr\u00f4nica (INPG &#8211; Fran\u00e7a, 1998). Realizou est\u00e1gio p\u00f3s-doutoral na UBC &#8211; Vancouver (Canad\u00e1, 2010). Professor titular do Instituto de Inform\u00e1tica da UFRGS. Orientador nos programas de p\u00f3s-gradua\u00e7\u00e3o PPGC e PGMicro da UFRGS. Foi presidente da Sociedade Brasileira de Microeletr\u00f4nica (SBMicro), na gest\u00e3o 2000-2001. Atual editor do Journal of Integrated Circuits and Systems (SBMicro\/SBC). Atua na \u00e1rea de projeto de circuitos integrados digitais e de desenvolvimento de ferramentas computacionais (CAD).<\/p><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-24cff875 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"24cff875\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t<a href=\"https:\/\/ufrgs.br\/emicro\/#programa\" class=\"elementor-button-link elementor-button elementor-size-md\" role=\"button\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-text\">Retornar ao Programa<\/span>\n\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3f5a9b24 elementor-widget elementor-widget-spacer\" data-id=\"3f5a9b24\" data-element_type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Renato Ribas UFRGS \u2013 PGMICRO \/ PPGC, Porto Alegre rpribas@inf.ufrgs.br Benchmark Exato para s\u00edntese l\u00f3gica Resumo:A exist\u00eancia de benchmarks exatos para a avalia\u00e7\u00e3o de algoritmos e ferramentas computacionais permite verificar o qu\u00e3o distante os resultados obtidos est\u00e3o de solu\u00e7\u00f5es \u00f3timas. Ser\u00e1 apresentada uma metodologia para a gera\u00e7\u00e3o de benchmarks exatos para a etapa de s\u00edntese &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"\" href=\"https:\/\/www.ufrgs.br\/emicro\/renatoribas\/\"> <span class=\"screen-reader-text\">Renato Ribas<\/span> Read More &raquo;<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/www.ufrgs.br\/emicro\/wp-json\/wp\/v2\/pages\/1817"}],"collection":[{"href":"https:\/\/www.ufrgs.br\/emicro\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ufrgs.br\/emicro\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ufrgs.br\/emicro\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ufrgs.br\/emicro\/wp-json\/wp\/v2\/comments?post=1817"}],"version-history":[{"count":8,"href":"https:\/\/www.ufrgs.br\/emicro\/wp-json\/wp\/v2\/pages\/1817\/revisions"}],"predecessor-version":[{"id":2029,"href":"https:\/\/www.ufrgs.br\/emicro\/wp-json\/wp\/v2\/pages\/1817\/revisions\/2029"}],"wp:attachment":[{"href":"https:\/\/www.ufrgs.br\/emicro\/wp-json\/wp\/v2\/media?parent=1817"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}