{"id":1983,"date":"2023-03-30T12:30:31","date_gmt":"2023-03-30T12:30:31","guid":{"rendered":"https:\/\/csbc.sbc.org.br\/2023\/?page_id=1983"},"modified":"2023-08-22T14:02:05","modified_gmt":"2023-08-22T14:02:05","slug":"cadathlon-brasil-en","status":"publish","type":"page","link":"https:\/\/csbc.sbc.org.br\/2023\/cadathlon-brasil-en\/","title":{"rendered":"CADathlon Brasil English"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"1983\" class=\"elementor elementor-1983\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-39ceafef e-flex e-con-boxed e-con e-parent\" data-id=\"39ceafef\" data-element_type=\"container\" data-e-type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;video&quot;,&quot;background_video_link&quot;:&quot;https:\\\/\\\/csbc.sbc.org.br\\\/2023\\\/wp-content\\\/uploads\\\/2023\\\/01\\\/O-Circuito-27725.mp4&quot;,&quot;background_play_on_mobile&quot;:&quot;yes&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-background-video-container\">\n\t\t\t\t\t\t\t<video class=\"elementor-background-video-hosted\" role=\"presentation\" autoplay muted playsinline loop><\/video>\n\t\t\t\t\t<\/div>\t\t<div class=\"elementor-element elementor-element-d50e176 elementor-widget elementor-widget-heading\" data-id=\"d50e176\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">CADathlon Brazil - III Brazilian Programming Contest for Design Automation of Integrated Circuits<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-22bf223f elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"22bf223f\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-b4b85c8 elementor-widget__width-initial elementor-widget elementor-widget-image\" data-id=\"b4b85c8\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"https:\/\/csbc.sbc.org.br\/2023\/cadathlon-brasil\/\">\n\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"512\" height=\"512\" src=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/03\/portuges.png\" class=\"attachment-full size-full wp-image-1975\" alt=\"\" srcset=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/03\/portuges.png 512w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/03\/portuges-300x300.png 300w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/03\/portuges-150x150.png 150w\" sizes=\"(max-width: 512px) 100vw, 512px\" \/>\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-9434910 elementor-widget elementor-widget-heading\" data-id=\"9434910\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\"><a href=\"https:\/\/csbc.sbc.org.br\/2023\/cadathlon-brasil\/\">Portugu\u00eas <\/a><\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6ca2ff9 elementor-widget__width-initial elementor-widget elementor-widget-image\" data-id=\"6ca2ff9\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"https:\/\/csbc.sbc.org.br\/2023\/cadathlon-brasil-en\/\">\n\t\t\t\t\t\t\t<img decoding=\"async\" width=\"512\" height=\"512\" src=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/03\/ingles.png\" class=\"attachment-full size-full wp-image-1976\" alt=\"\" srcset=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/03\/ingles.png 512w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/03\/ingles-300x300.png 300w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/03\/ingles-150x150.png 150w\" sizes=\"(max-width: 512px) 100vw, 512px\" \/>\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-18b1b68 elementor-widget elementor-widget-heading\" data-id=\"18b1b68\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\"><a href=\"https:\/\/csbc.sbc.org.br\/2023\/cadathlon-brasil-en\/\">English<\/a><\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-5884282 e-flex e-con-boxed e-con e-parent\" data-id=\"5884282\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-a927925 elementor-widget__width-inherit e-n-tabs-mobile elementor-widget elementor-widget-n-tabs\" data-id=\"a927925\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"nested-tabs.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"e-n-tabs\" data-widget-number=\"177371429\" aria-label=\"Abas. Abra itens com &quot;Enter&quot; ou &quot;Espa\u00e7o&quot;, feche com &quot;Escape&quot; e navegue usando as teclas de &quot;Seta&quot;.\">\n\t\t\t<div class=\"e-n-tabs-heading\" role=\"tablist\">\n\t\t\t\t\t<button id=\"e-n-tab-title-1773714291\" data-tab-title-id=\"e-n-tab-title-1773714291\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"true\" data-tab-index=\"1\" role=\"tab\" tabindex=\"0\" aria-controls=\"e-n-tab-content-1773714291\" style=\"--n-tabs-title-order: 1;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tHighlights of CADAthlon Brazil 2023\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714292\" data-tab-title-id=\"e-n-tab-title-1773714292\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"2\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714292\" style=\"--n-tabs-title-order: 2;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tAbout the Event\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714293\" data-tab-title-id=\"e-n-tab-title-1773714293\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"3\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714293\" style=\"--n-tabs-title-order: 3;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tPreliminary Information\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714294\" data-tab-title-id=\"e-n-tab-title-1773714294\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"4\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714294\" style=\"--n-tabs-title-order: 4;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tRegistration Instructions\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714295\" data-tab-title-id=\"e-n-tab-title-1773714295\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"5\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714295\" style=\"--n-tabs-title-order: 5;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tImportant Dates\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714296\" data-tab-title-id=\"e-n-tab-title-1773714296\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"6\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714296\" style=\"--n-tabs-title-order: 6;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tRules\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t<button id=\"e-n-tab-title-1773714297\" data-tab-title-id=\"e-n-tab-title-1773714297\" class=\"e-n-tab-title elementor-animation-sink\" aria-selected=\"false\" data-tab-index=\"7\" role=\"tab\" tabindex=\"-1\" aria-controls=\"e-n-tab-content-1773714297\" style=\"--n-tabs-title-order: 7;\">\n\t\t\t\t\t\t<span class=\"e-n-tab-title-text\">\n\t\t\t\tOrganizing Committee\t\t\t<\/span>\n\t\t<\/button>\n\t\t\t\t\t<\/div>\n\t\t\t<div class=\"e-n-tabs-content\">\n\t\t\t\t<div id=\"e-n-tab-content-1773714291\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714291\" data-tab-index=\"1\" style=\"--n-tabs-title-order: 1;\" class=\"e-active elementor-element elementor-element-d4b1dc7 e-con-full e-flex e-con e-parent\" data-id=\"d4b1dc7\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-01df104 elementor-widget elementor-widget-text-editor\" data-id=\"01df104\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h4 style=\"text-align: center;\"><strong><span style=\"color: #000080;\">Highlights of CADAthlon Brazil 2023<\/span><\/strong><\/h4>\n<p><span class=\"fontstyle0\">The CADAthlon Brazil 2023 &#8211; 3rd Brazilian Programming Contest for Design Automation of Integrated<br>Circuits (https:\/\/csbc.sbc.org.br\/2023\/cadathlon-brasil-en\/) took place on August 8th in Jo\u00e3o Pessoa, Para\u00edba<br>State, Brazil, as a co-located event of the 43rd Annual Congress of SBC (Brazilian Computer Society). It was<br>organized by Federal University of Pelotas (UFPel), Sul-Rio-Grandense Federal Institute of Education, Science<br>and Technology (IFSul), Federal Institute of Paraiba (IFPB), Federal University of Santa Catarina (UFSC) and<br>Federal University of Paraiba (UFPB) and sponsored by ACM\/SIGDA, IEEE CEDA (Council on Electronic Design<br>Automation), SBC\/CECCI (SBC Special Committee on Integrated Circuits and Systems Design) and SBMicro<br>(Brazilian Microelectronics Society). It was financially sponsored by Synopsys, Chipus Microelectronics, EnSilica, HCLTech, ACM\/SIGDA, IEEE CEDA, IEEE Circuits and Systems Society (CASS) and SBC\/CECCI.<\/span><\/p>\n<p><span class=\"fontstyle0\">As in the first edition, CADAthlon Brazil 2023 followed the same format as the ACM\/SIGDA CADAthlon,<br>which happens annually co-located with ICCAD (International Conference on Computer-Aided Design). During the whole day, 10 two-person teams of students coming from different regions of Brazil worked to solve 6 practical problems on classical EDA topics such as circuit design &amp; analysis, physical design, logic synthesis, high-level synthesis, circuit verification, and application of AI to design automation. The problems were prepared by a team of researchers from industry and academia.<\/span><\/p>\n<p><span class=\"fontstyle0\">This year the first place was won by team &#8220;Flamengo&#8221;, from University of Bras\u00edlia (UnB), formed by Enzo<br>Yoshio Niho and Eduardo Quirino de Oliveira, and the second place was won by team &#8220;Rabisco UFSC&#8221;, from the<br>Federal University of Santa Catarina (UFSC), formed by Arthur Joao Louren\u00e7o and Bernardo Borges Sandoval.<br>The top 2 teams were invited to participate in CADAthlon@ICCAD &#8211; SIGDA, a competition that runs in<br>conjunction with ICCAD (International Conference on Computer-Aided Design) and will be held in San<br>Francisco\/CA (USA), from October 29 to November 2, 2023.<\/span><\/p>\n<table class=\"NormalTable\">\n<tbody>\n<tr>\n<td width=\"142\"><span class=\"fontstyle0\">PLACEMENT<\/span><\/td>\n<td width=\"279\"><span class=\"fontstyle0\">TEAM<\/span><\/td>\n<td width=\"468\"><span class=\"fontstyle0\">INSTITUTION<\/span><\/td>\n<td width=\"273\"><span class=\"fontstyle0\">MEMBER 1 <\/span><\/td>\n<td width=\"287\"><span class=\"fontstyle0\">MEMBER 2 <\/span><\/td>\n<td width=\"140\"><span class=\"fontstyle0\">SCORE<\/span><\/td>\n<\/tr>\n<tr>\n<td width=\"142\"><span class=\"fontstyle0\">1 <\/span><\/td>\n<td width=\"279\"><span class=\"fontstyle2\">Flamengo <\/span><\/td>\n<td width=\"468\"><span class=\"fontstyle2\">Universidade de Bras\u00edlia (UnB) <\/span><\/td>\n<td width=\"273\"><span class=\"fontstyle2\">Enzo Yoshio Niho <\/span><\/td>\n<td width=\"287\"><span class=\"fontstyle2\">Eduardo Quirino de Oliveira <\/span><\/td>\n<td width=\"140\"><span class=\"fontstyle2\">51<\/span><\/td>\n<\/tr>\n<tr>\n<td width=\"142\"><span class=\"fontstyle0\">2 <\/span><\/td>\n<td width=\"279\"><span class=\"fontstyle2\">Rabisco-UFSC <\/span><\/td>\n<td width=\"468\"><span class=\"fontstyle2\">Universidade Federal de Santa Catarina (UFSC) <\/span><\/td>\n<td width=\"273\"><span class=\"fontstyle2\">Bernardo Borges Sandoval <\/span><\/td>\n<td width=\"287\"><span class=\"fontstyle2\">Arthur Jo\u00e3o Louren\u00e7o <\/span><\/td>\n<td width=\"140\"><span class=\"fontstyle2\">48,25<\/span><\/td>\n<\/tr>\n<tr>\n<td width=\"142\"><span class=\"fontstyle0\">3 <\/span><\/td>\n<td width=\"279\"><span class=\"fontstyle2\">Amigos do Andr\u00e9 <\/span><\/td>\n<td width=\"468\"><span class=\"fontstyle2\">Universidade Federal de Santa Catarina (UFSC) <\/span><\/td>\n<td width=\"273\"><span class=\"fontstyle2\">Lucas Yuki Imamura <\/span><\/td>\n<td width=\"287\"><span class=\"fontstyle2\">Jo\u00e3o Mai <\/span><\/td>\n<td width=\"140\"><span class=\"fontstyle2\">45<\/span><\/td>\n<\/tr>\n<tr>\n<td width=\"142\"><span class=\"fontstyle0\">4 <\/span><\/td>\n<td width=\"279\"><span class=\"fontstyle2\">[UnB] Sorvetinho Eletr\u00f4nico <\/span><\/td>\n<td width=\"468\"><span class=\"fontstyle2\">Universidade de Bras\u00edlia (UnB) <\/span><\/td>\n<td width=\"273\"><span class=\"fontstyle2\">Tiago de Souza Fernandes <\/span><\/td>\n<td width=\"287\"><span class=\"fontstyle2\">Alberto Tavares Duarte Neto <\/span><\/td>\n<td width=\"140\"><span class=\"fontstyle2\">38<\/span><\/td>\n<\/tr>\n<tr>\n<td width=\"142\"><span class=\"fontstyle0\">5 <\/span><\/td>\n<td width=\"279\"><span class=\"fontstyle2\">Grande Rio <\/span><\/td>\n<td width=\"468\"><span class=\"fontstyle2\">Universidade Federal do Rio Grande (FURG) <\/span><\/td>\n<td width=\"273\"><span class=\"fontstyle2\">Amanda Macedo Borges <\/span><\/td>\n<td width=\"287\"><span class=\"fontstyle2\">Mateus Estr\u00eala Pietro <\/span><\/td>\n<td width=\"140\"><span class=\"fontstyle2\">30<\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><span class=\"fontstyle0\">The CADAthlon Brazil 2023 Organizing Committee greatly thanks the Congress of SBC organizers for the<br>logistics support, the problem preparation team and all sponsors, specially the financial support from Synopsys,<br>Chipus Microelectronics, EnSilica, HCLTech, ACM\/SIGDA, IEEE Circuits and Systems Society (CASS), SBC\/CECCI (SBC Special Committee on Integrated Circuits and Systems Design) and IEEE CEDA (through the South Brazil Chapter), which made it possible to cover the travel expenses of the competitors, making the event a huge success.<\/span><\/p>\n<p>The next edition of CADAthlon Brazil will occur as a co-located event of the 44th Annual Congress of SBC, in July 2024, in Brasilia\/DF, capital of Brazil.<\/p>\n<p><span class=\"fontstyle0\">Photos and captions:<\/span><\/p>\n<p><span class=\"fontstyle0\">CADAthlon Brazil 2023: Team &#8220;Flamengo&#8221;, winner of the First Place<\/span><\/p>\n<p><img decoding=\"async\" class=\"alignnone wp-image-4013 size-large\" src=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/1-672x1024.png\" alt=\"\" width=\"672\" height=\"1024\" srcset=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/1-672x1024.png 672w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/1-197x300.png 197w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/1-768x1170.png 768w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/1-1008x1536.png 1008w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/1-1344x2048.png 1344w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/1.png 1975w\" sizes=\"(max-width: 672px) 100vw, 672px\" \/><\/p>\n<p><span class=\"fontstyle0\"><br>CADAthlon Brazil 2023: Team &#8220;Rabisco UFSC&#8221;, winner of the Second Place<\/span><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-4014 size-large\" src=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/2-720x1024.png\" alt=\"\" width=\"720\" height=\"1024\" srcset=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/2-720x1024.png 720w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/2-211x300.png 211w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/2-768x1093.png 768w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/2.png 1047w\" sizes=\"(max-width: 720px) 100vw, 720px\" \/><\/p>\n<p><span class=\"fontstyle0\"><br>CADAthlon Brazil 2023: IFPB computational laboratory<\/span><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-4015 size-large\" src=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/3-1024x343.png\" alt=\"\" width=\"800\" height=\"268\" srcset=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/3-1024x343.png 1024w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/3-300x100.png 300w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/3-768x257.png 768w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/3-1536x514.png 1536w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/3-2048x686.png 2048w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/><\/p>\n<p><span class=\"fontstyle0\"><br>CADAthlon Brazil 2023: All teams and organizers<\/span><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-4016 size-large\" src=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/4-1024x475.jpg\" alt=\"\" width=\"800\" height=\"371\" srcset=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/4-1024x475.jpg 1024w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/4-300x139.jpg 300w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/4-768x356.jpg 768w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/4-1536x712.jpg 1536w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/4-2048x949.jpg 2048w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/><\/p>\n<p><span class=\"fontstyle0\"><br>CADAthlon Brazil 2023: The organizers, the societies representatives and HCL sponsor representative.<\/span><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-4017 size-full\" src=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/5.png\" alt=\"\" width=\"979\" height=\"572\" srcset=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/5.png 979w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/5-300x175.png 300w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/5-768x449.png 768w\" sizes=\"(max-width: 979px) 100vw, 979px\" \/><\/p>\n<p><span class=\"fontstyle0\"><br>CADAthlon Brazil 2023: Banner at the lab door<\/span><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-4018 size-large\" src=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/6-577x1024.jpg\" alt=\"\" width=\"577\" height=\"1024\" srcset=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/6-577x1024.jpg 577w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/6-169x300.jpg 169w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/6-768x1364.jpg 768w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/6-865x1536.jpg 865w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/6-1153x2048.jpg 1153w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/6-scaled.jpg 1441w\" sizes=\"(max-width: 577px) 100vw, 577px\" \/><\/p>\n<p>CADAthlon Brazil 2023: Coffee break<img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-4019 size-large\" src=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/7-1024x619.png\" alt=\"\" width=\"800\" height=\"484\" srcset=\"https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/7-1024x619.png 1024w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/7-300x181.png 300w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/7-768x464.png 768w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/7-1536x929.png 1536w, https:\/\/csbc.sbc.org.br\/2023\/wp-content\/uploads\/2023\/08\/7-2048x1238.png 2048w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714292\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714292\" data-tab-index=\"2\" style=\"--n-tabs-title-order: 2;\" class=\" elementor-element elementor-element-7261647 e-con-full e-flex e-con e-parent\" data-id=\"7261647\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-5eb65a5 elementor-widget elementor-widget-text-editor\" data-id=\"5eb65a5\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h4><span style=\"color: #00004d;\"><strong>About the Event<\/strong><\/span><\/h4><p><span style=\"font-weight: 400;\">The 3rd Brazilian Programming Contest for Design Automation of Integrated Circuits (CADAthlon Brasil 2023) is a programming competition that focuses on techniques and tools for EDA (Electronic Design Automation). It is inspired by the ACM\/SIGDA CADAthlon, which takes place annually as one of the events associated with the ACM\/IEEE ICCAD (International Conference on Computer-Aided Design). As in the first and in the second edition, which took place in 2010 and in 2022, the teams, formed by pairs of undergraduate and\/or graduate students, will work on solving 6 programming problems related to EDA techniques prepared by collaborators who work in EDA companies and \/or in academia. The issues themselves will only be detailed on the day of the contest. However, the registered teams will receive, a few weeks before the contest, preliminary information about the themes and related literature, in order to better prepare for the contest. Problems will be solved using C++ and possibly other languages as communicated prior to contest day.<\/span><\/p><p><span style=\"font-weight: 400;\">CADAthlon Brasil 2023 will take place in person, as one of the satellite events of the 43rd Annual Congress of the SBC (Brazilian Computing Society), at the Para\u00edba Convention Center, in Jo\u00e3o Pessoa, Para\u00edba.<\/span><\/p><p><span style=\"font-weight: 400;\">Problem topics are related to EDA and include:<\/span><\/p><ul><li><em>Circuit Design &amp; Analysis<\/em><\/li><li><em>Physical Design &amp; Design for Manufacturability<\/em><\/li><li><em>Logic &amp; High-Level Synthesis<\/em><\/li><li><em>System Design &amp; Analysis<\/em><\/li><li><em>Functional Verification &amp; Testing<\/em><\/li><li><em>Future technologies (Bio-EDA, Security, AI, etc.)<\/em><\/li><\/ul><p>Location: Computer Laboratory of the Federal Institute of Para\u00edba (IFPB), in Jo\u00e3o Pessoa, PB.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714293\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714293\" data-tab-index=\"3\" style=\"--n-tabs-title-order: 3;\" class=\" elementor-element elementor-element-63a4096 e-con-full e-flex e-con e-parent\" data-id=\"63a4096\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-32ea907 elementor-widget elementor-widget-text-editor\" data-id=\"32ea907\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p><span style=\"color: #000080;\"><strong>Location and Hours:<\/strong><\/span><br \/>CADathlon Brasil 2023 will take place at the Computer Laboratory (LAB-2), Computer Block, first floor,<br \/>Campus Jo\u00e3o Pessoa, at Avenida Primeiro de Maio, 720, of the Federal Institute of Para\u00edba<br \/>(https:\/\/goo.gl\/maps\/ ozREAMgSSwhNGgwTA), Bairro Jaguaribe in Jo\u00e3o Pessoa\/PB, in a single and<br \/>continuous session, on August 8, 2023.<br \/>Start time: 9:00 am<br \/>End time: 18:00<\/p><p>Participants may only leave the room to go to the restroom, subject to the authorization of the members of the<br \/>CADathlon organization.<br \/>The CADathlon organization will offer free meals to participants:<\/p><ul><li>From 9 am to 11 am: coffee-break: seasonal fruits (banana and apple); dreaded breads (chicken with<br \/>cream cheese, catupiry and turkey breast with ricotta); croquettes (chicken drumstick and white cheese<br \/>puffs) and cakes (chocolate and roll);<\/li><li>At 1pm, a lunch box will be served: beef stroganoff with rice and straw potatoes, soda, mini salad<br \/>(sauce), fruit, a bonbon;<\/li><li>At 3:30 pm 5:00 pm: coffee-break: coffee-break: seasonal fruits (banana and apple); dreaded breads<br \/>(chicken with cream cheese, catupiry and turkey breast with ricotta); croquettes (chicken drumstick and<br \/>kingdom cheese puffs) and cakes (chocolate and roll)<\/li><\/ul><p><strong><span style=\"color: #000080;\">Note: If you are a vegetarian or have a specific diet (lactose intolerance, wheat flour intolerance, etc.),<\/span><\/strong><br \/><strong><span style=\"color: #000080;\">please let us know as soon as possible by email.<\/span><\/strong><\/p><p><strong><span style=\"color: #000080;\">Result Disclosure<\/span><\/strong><br \/>The result will be announced directly to all teams by email, between the end of the CADathlon session and the<br \/>morning of August 9, 2023.<\/p><p><strong><span style=\"color: #000080;\">Award<\/span><\/strong><br \/>The awarding of the teams that win first and second place will take place at the official dinner of the SBC<br \/>Congress, on the evening of August 9, 2023 (details will be sent soon).<br \/>The two winning teams will receive tickets to attend the dinner, as part of the award.<\/p><p><strong><span style=\"color: #000080;\">Rules and General Observations About the Competition Session:<\/span><\/strong><br \/>1 &#8211; There will be ONE computer per team, which will be offline (without internet) during the race;<br \/>2 &#8211; The use of electronic devices will NOT be allowed during the competition, except the computer<br \/>provided by the organization;<br \/>3 &#8211; The problem statements will be in a specific folder on the supplied computer;4 &#8211; It is allowed to consult any physical material (books, articles, notebooks, documentation, etc.)<br \/>taken by the duo. Articles cited in the basic literature will be available on the computer provided by the<br \/>organization, in a specific folder;<br \/>5 &#8211; The problems must be solved using the C++ and Python programming languages, as specified in the<br \/>respective statements;<br \/>6 &#8211; Arrive at the location where the CADathlon will be held no less than 15 minutes in advance. Carefully<br \/>plan your travel time;<br \/>7 &#8211; The session will start promptly at 9:00 am, and general instructions will be given in the first few<br \/>minutes.<\/p><p><strong><span style=\"color: #000080;\">IMPORTANT:<\/span><\/strong> Considering rules 2 and 4, you must bring all material you deem necessary for solving the problems<br \/>(basic literature articles will be available offline along with the problem code). The problems will be in C++ and<br \/>Python languages. To make it easier, we have prepared a list of some libraries that can be used by problems:<\/p><p>C++: algorithm, array, assert.h, bitset, boost\/filesystem.hpp, boost\/program_options.hpp, cassert, cctype,<br \/>climits, cmath, cstdlib, cstring, exception, fstream, functional, iostream, limits, map, math. h, numeric, ostream,<br \/>queue, stack, stdexcept, stdio.h, stdlib.h, string, unordered_map, unordered_set, utility, vector<\/p><p>Python: sys<\/p><p><strong><span style=\"color: #000080;\">Themes of Problems and Basic Literature:<\/span><\/strong><\/p><p><span style=\"color: #000080;\">Problem #1: Circuit Design &amp; Analysis.<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> Static Timing Analsys<br \/><span style=\"color: #000080;\">Bibliography:<\/span><br \/>[1] Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu, &#8220;VLSI Physical Design: From Graph<br \/>Partitioning to Timing Closure&#8221;. Editora Springer Dordrecht, 1a. Edi\u00e7\u00e3o &#8211; Chapter 8: Timing Closure,<br \/>2011. (https:\/\/doi.org\/10.1007\/978-90-481-9591-6)<\/p><p><span style=\"color: #000080;\">Problem #2: Physical Design (&amp; Design for Manufacturability)<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> Tap assignment for gated clock network<br \/><span style=\"color: #000080;\">Bibliography:<\/span><br \/>[1] W.-H. Chen, C.-K. Wang, H.-M. Chen, Y.-C. Chou, C.-H. Tsai, &#8220;A Comparative Study on<br \/>Multisource Clock Network Synthesis&#8221;, Proc. SASIMI, pp. 141-145, 2016.<\/p><p><span style=\"color: #000080;\">Problem #3: Logic &amp; High-Level Synthesis<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> Boolean Function Manipulation by Quantification<br \/><span style=\"color: #000080;\">Bibliography:<\/span> No specific reference is provided<\/p><p><span style=\"color: #000080;\">Problem #4: System Design &amp; Analysis<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> Regression Set Construction<br \/><span style=\"color: #000080;\">Bibliography:<\/span><br \/>[1] Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv, &#8220;A probabilistic alternative to<br \/>regression suites&#8221;, Theoretical Computer Science, Volume 404, Issue 3, 2008, Pages 219-234, ISSN<br \/>0304-3975. (https:\/\/doi.org\/10.1016\/j.tcs.2008.03.020)<\/p><p><span style=\"color: #000080;\">Problem #5: Functional Verification &amp; Testing<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> Circuit Rank-Ordering for Logic Simulation<br \/><span style=\"color: #000080;\">Bibliography:<\/span><br \/>[1] Digital Logic Testing and Simulation, Miczo A. (2nd edition) &#8211; Chapter 2: Simulation<\/p><p><span style=\"color: #000080;\">Problem #6: Future technologies (Bio-EDA, Security, AI, etc.)<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> NPN boolean function identification<br \/><span style=\"color: #000080;\">Bibliography:<\/span><br \/>[1] M. D. Vieira et al., &#8220;Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots&#8221;, in<br \/>IEEE Design &amp; Test, vol. 39, no. 6, pp. 147-155, Dec. 2022, doi: 10.1109\/MDAT.2022.3189814.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714294\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714294\" data-tab-index=\"4\" style=\"--n-tabs-title-order: 4;\" class=\" elementor-element elementor-element-707d595 e-con-full e-flex e-con e-parent\" data-id=\"707d595\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-a388659 elementor-widget elementor-widget-text-editor\" data-id=\"a388659\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h4><span style=\"color: #00004d;\"><strong>Registration Instructions<\/strong><\/span><\/h4><ol><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Invite a friend or colleague to form a team to participate in the CADathlon Brasil 2023. Choose a fantasy name for your team;<\/span><\/span><p>\u00a0<\/p><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Make the pre-registration until July 15, 2023 by filling out the form available on <\/span><a href=\"https:\/\/forms.gle\/vyDzP6nfxgXVzJnD6\"><span style=\"font-weight: 400;\">https:\/\/forms.gle\/vyDzP6nfxgXVzJnD6<\/span><\/a><span style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">;<\/span><\/span><p>\u00a0<\/p><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Register to CSBC 2023, choosing the option \u201cCADathlon Brasil 2023\u201d:\u00a0<br \/><\/span><ul><li style=\"font-weight: 400;\" aria-level=\"2\"><span style=\"font-weight: 400;\">Access the link <\/span><a href=\"https:\/\/centraldesistemas.sbc.org.br\/ecos\/csbc2023\"><span style=\"font-weight: 400;\">https:\/\/centraldesistemas.sbc.org.br\/ecos\/csbc2023<\/span><\/a><span style=\"font-weight: 400;\">\u00a0<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"2\"><span style=\"font-weight: 400;\">In section \u201cAtividades Adicionais\u201d, mark the \u201cCADathlon Brasil 2023\u201d\u00a0<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"2\"><span style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Complete the registration and execute the payment.<\/span><\/span><p>\u00a0<\/p><\/li><\/ul><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Send the registration receipt by e-mail to leomarjr at gmail dot com and to joaojrmachado at gmail dot com until July 20th 2023.<\/span><\/li><\/ol><p><span style=\"font-weight: 400;\"><br \/>Observation: according to SBC rules, all participants of the satellite events (as the CADathlon Brasil 2023) must be registered at CSBC.<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714295\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714295\" data-tab-index=\"5\" style=\"--n-tabs-title-order: 5;\" class=\" elementor-element elementor-element-f3ba8ea e-con-full e-flex e-con e-parent\" data-id=\"f3ba8ea\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-5e33369 elementor-widget elementor-widget-text-editor\" data-id=\"5e33369\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h4><span style=\"color: #00004d;\"><strong>Important Dates<\/strong><\/span><\/h4><ul><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Pre-registration of two-person teams and confirmation of interest in receiving financial support*: due <\/span><b>July 15, 2023<\/b><span style=\"font-weight: 400;\">;<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Announcement of the teams selected to receive financial support: July 17, 2023<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Release of the supporting bibliography: July 24, 2023<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Submission of the CSBC2023 registration receipt<\/span><b>**<\/b><span style=\"font-weight: 400;\">: due July 20, 2023<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Contest (fully in-person): August 8, 2023<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Communication of the result to the teams: August 9, 2023 (by email)<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Official announcement of the top 2 teams and delivery of prizes: August 9, 2023 (in the official CSBC 2023 dinner<\/span><b>***<\/b><span style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">)<\/span><\/span><p>\u00a0<\/p><\/li><\/ul><p><b>**<\/b><span style=\"font-weight: 400;\"> Please note: in the \u201cAdditional Activities\u201d section, check \u201cCADathlon Brasil 2023\u201d<\/span><\/p><p><b>***<\/b><span style=\"font-weight: 400;\"> The members of the top 2 teams will receive the tickets for the official CSBC 2023 dinner as part of their prizes.<\/span><\/p><p><b>Important notice:<\/b><span style=\"font-weight: 400;\"> due to infrastructure limitation, the number of teams is limited to 15.<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714296\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714296\" data-tab-index=\"6\" style=\"--n-tabs-title-order: 6;\" class=\" elementor-element elementor-element-9f7126a e-con-full e-flex e-con e-parent\" data-id=\"9f7126a\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-82ecf26 elementor-widget elementor-widget-text-editor\" data-id=\"82ecf26\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h4><span style=\"color: #00004d;\"><strong>Rules<\/strong><\/span><\/h4><h5><span style=\"color: #00003b;\"><b>Language<\/b><\/span><span style=\"font-weight: 400;\">\u00a0<\/span><\/h5><p><span style=\"font-weight: 400;\">The official language is Portuguese.<\/span><\/p><h5><span style=\"color: #00003b;\"><b>Teams<\/b><\/span><\/h5><p><span style=\"font-weight: 400;\">Each team must be formed by two graduate or undergraduate students regularly registered in Computer Science\/Engineering courses or related areas. Due to infrastructure limitation, the number of teams is limited to 15.<\/span><\/p><h5><span style=\"color: #00003b;\"><b>Registration<\/b><\/span><\/h5><p><span style=\"font-weight: 400;\">According to SBC rules, every person attending the Congress of the SBC (CSBC) satellite (fringe) events must be registered to the main event, i.e., the CSBC itself. Please refer to the section \u201cRegistration Instructions\u201d for detailed information on the registration procedure.<\/span><\/p><h5><span style=\"color: #00003b;\"><b>Prizes<\/b><\/span><\/h5><p>The awarding of the first and second place winning teams will take place at the official dinner of the<br \/>SBC Congress, on the evening of August 9, 2023 (details will be sent soon). The two winning teams will receive<br \/>tickets to attend the dinner as part of the prize pool.<\/p><h5><span style=\"color: #00003b;\"><b>Computational Infrastructure<\/b><\/span><\/h5><p>Each team will have access to a computer with a standard Linux Ubuntu installation, development tools<br \/>and software infrastructure necessary to solve the problems. More information and rules are described below:<\/p><p>1 &#8211; There will be ONE computer per team, which will be offline (without internet) during the race;<br \/>2 &#8211; The use of electronic devices will NOT be allowed during the competition, except the computer<br \/>provided by the organization;<br \/>3 &#8211; The problem statements will be in a specific folder on the supplied computer;4 &#8211; It is allowed to consult any physical material (books, articles, notebooks, documentation, etc.)<br \/>taken by the duo. Articles cited in the basic literature will be available on the computer provided by the<br \/>organization, in a specific folder;<br \/>5 &#8211; The problems must be solved using the C++ and Python programming languages, as specified in the<br \/>respective statements;<br \/>6 &#8211; Arrive at the location where the CADathlon will be held no less than 15 minutes in advance. Carefully<br \/>plan your travel time;<br \/>7 &#8211; The session will start promptly at 9:00 am, and general instructions will be given in the first few<br \/>minutes.<\/p><p><strong><span style=\"color: #000080;\">IMPORTANT:<\/span><\/strong> Considering rules 2 and 4, you must bring all material you deem necessary for solving the problems<br \/>(basic literature articles will be available offline along with the problem code). The problems will be in C++ and<br \/>Python languages. To make it easier, we have prepared a list of some libraries that can be used by problems:<\/p><p>C++: algorithm, array, assert.h, bitset, boost\/filesystem.hpp, boost\/program_options.hpp, cassert, cctype,<br \/>climits, cmath, cstdlib, cstring, exception, fstream, functional, iostream, limits, map, math. h, numeric, ostream,<br \/>queue, stack, stdexcept, stdio.h, stdlib.h, string, unordered_map, unordered_set, utility, vector<\/p><p>Python: sys<\/p><h5><span style=\"color: #00003b;\"><b>Problem Definition<\/b><\/span><\/h5><p><span style=\"color: #000080;\">Problem #1: Circuit Design &amp; Analysis.<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> Static Timing Analsys<br \/><span style=\"color: #000080;\">Bibliography:<\/span><br \/>[1] Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu, &#8220;VLSI Physical Design: From Graph<br \/>Partitioning to Timing Closure&#8221;. Editora Springer Dordrecht, 1a. Edi\u00e7\u00e3o &#8211; Chapter 8: Timing Closure,<br \/>2011. (https:\/\/doi.org\/10.1007\/978-90-481-9591-6)<\/p><p><span style=\"color: #000080;\">Problem #2: Physical Design (&amp; Design for Manufacturability)<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> Tap assignment for gated clock network<br \/><span style=\"color: #000080;\">Bibliography:<\/span><br \/>[1] W.-H. Chen, C.-K. Wang, H.-M. Chen, Y.-C. Chou, C.-H. Tsai, &#8220;A Comparative Study on<br \/>Multisource Clock Network Synthesis&#8221;, Proc. SASIMI, pp. 141-145, 2016.<\/p><p><span style=\"color: #000080;\">Problem #3: Logic &amp; High-Level Synthesis<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> Boolean Function Manipulation by Quantification<br \/><span style=\"color: #000080;\">Bibliography:<\/span> No specific reference is provided<\/p><p><span style=\"color: #000080;\">Problem #4: System Design &amp; Analysis<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> Regression Set Construction<br \/><span style=\"color: #000080;\">Bibliography:<\/span><br \/>[1] Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv, &#8220;A probabilistic alternative to<br \/>regression suites&#8221;, Theoretical Computer Science, Volume 404, Issue 3, 2008, Pages 219-234, ISSN<br \/>0304-3975. (https:\/\/doi.org\/10.1016\/j.tcs.2008.03.020)<\/p><p><span style=\"color: #000080;\">Problem #5: Functional Verification &amp; Testing<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> Circuit Rank-Ordering for Logic Simulation<br \/><span style=\"color: #000080;\">Bibliography:<\/span><br \/>[1] Digital Logic Testing and Simulation, Miczo A. (2nd edition) &#8211; Chapter 2: Simulation<\/p><p><span style=\"color: #000080;\">Problem #6: Future technologies (Bio-EDA, Security, AI, etc.)<\/span><br \/><span style=\"color: #000080;\">Subject:<\/span> NPN boolean function identification<br \/><span style=\"color: #000080;\">Bibliography:<\/span><br \/>[1] M. D. Vieira et al., &#8220;Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots&#8221;, in<br \/>IEEE Design &amp; Test, vol. 39, no. 6, pp. 147-155, Dec. 2022, doi: 10.1109\/MDAT.2022.3189814.<\/p><h5><span style=\"color: #00003b;\"><b>Contest Realization<\/b><\/span><\/h5><p>CADathlon Brasil 2023 will take place at the Computer Laboratory (LAB-2), Computer Block, first floor,<br \/>Campus Jo\u00e3o Pessoa, at Avenida Primeiro de Maio, 720, of the Federal Institute of Para\u00edba<br \/>(https:\/\/goo.gl\/maps\/ozREAMgSSwhNGgwTA), Bairro Jaguaribe in Jo\u00e3o Pessoa\/PB, in a single and<br \/>continuous session, on August 8, 2023.<br \/>Start time: 9:00 am<br \/>End time: 18:00<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div id=\"e-n-tab-content-1773714297\" role=\"tabpanel\" aria-labelledby=\"e-n-tab-title-1773714297\" data-tab-index=\"7\" style=\"--n-tabs-title-order: 7;\" class=\" elementor-element elementor-element-4886012 e-con-full e-flex e-con e-parent\" data-id=\"4886012\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-88e880a elementor-widget__width-inherit elementor-widget elementor-widget-text-editor\" data-id=\"88e880a\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<h4><span style=\"color: #00004d;\"><strong>Organizing Committee<\/strong><\/span><\/h4><p><span style=\"color: #000021;\"><strong>General Chairs:<\/strong><\/span><\/p><p>Leomar Soares da Rosa J\u00fanior (UFPel) \u2013 leomarjr@inf.ufpel.edu.br<br \/>Felipe de Souza Marques (UFPel) \u2013 felipem@inf.ufpel.edu.br<\/p><p><span style=\"color: #000021;\"><strong>Profram Committee:<\/strong><\/span><\/p><p>Laura Quevedo Jurgina (UFPel) \u2013 lqjurgina@inf.ufpel.edu.br<br \/>Jo\u00e3o J\u00fanior da Silva Machado (IFSul) \u2013 joaomachado@ifsul.edu.br<br \/>Renan Oliveira Netto (CADENCE) &#8211; renan.o.netto@gmail.com<\/p><p><span style=\"color: #000021;\"><strong>Arrangement Local Chair:<\/strong><\/span><\/p><p>Cleumar da Silva Moreira (IFPB)<\/p><p><span style=\"color: #000021;\"><strong>Former Organizers:<\/strong><\/span><\/p><p>Jos\u00e9 G\u00fcntzel (UFSC)<br \/>Fabian Cabrera (UFSC)<\/p><p><span style=\"color: #000021;\"><strong>Problem Contributors:<\/strong><\/span><\/p><p>Augusto Amaral Mafra (CADENCE)<br \/>Carolina Metzler (CADENCE)<br \/>Gabriel Arthur Gerber Andrade (UFSC)<br \/>Luiz Vinicius Maciel (CADENCE)<br \/>Maria Dalila Vieira (CADENCE)<br \/>Rafael Silva (CADENCE)<br \/>Renan Oliveira Netto (CADENCE)<br \/>Sheiny Fabre Almeida (CADENCE)<br \/>Tiago Augusto Fontana (CADENCE)<br \/>Vitor Soares da Silva \u00a0(CADENCE)<\/p>\t\t\t\t\t\t\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<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>CADathlon Brazil &#8211; III Brazilian Programming Contest for Design Automation of Integrated Circuits Portugu\u00eas English Highlights of CADAthlon Brazil 2023 About the Event Preliminary Information Registration Instructions Important Dates Rules Organizing Committee Highlights of CADAthlon Brazil 2023 Highlights of CADAthlon Brazil 2023 The CADAthlon Brazil 2023 &#8211; 3rd Brazilian Programming Contest for Design Automation of [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"folder":[12],"class_list":["post-1983","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages\/1983","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/comments?post=1983"}],"version-history":[{"count":67,"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages\/1983\/revisions"}],"predecessor-version":[{"id":4057,"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages\/1983\/revisions\/4057"}],"wp:attachment":[{"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/media?parent=1983"}],"wp:term":[{"taxonomy":"folder","embeddable":true,"href":"https:\/\/csbc.sbc.org.br\/2023\/wp-json\/wp\/v2\/folder?post=1983"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}