The Versal Adaptive Compute Acceleration Platform (Versal ACAP) is a system-on-chip (SoC) developed by AMD Xilinx. To help protect the programmable logic from soft errors, the configuration needs to be constantly checked and repaired through a process called scrubbing. This thesis provides a methodology for scrubbing the configuration over JTAG. The scrubber uses two platform device image (PDI) files, one to read the configuration and one to send corrected frames. The methodology is characterized to determine the time it takes to completely scrub the configuration. The designed scrubber was able to scrub the VM1802 in 11.5 seconds, or 41.6 Mbits/second, when the JTAG interface was operated at 50MHz.

- / -

Estudamos singularidades de famílias de matrizes simétricas. O objetivo é classificar as singularidades simples de tais famílias e estudar a geometria de alguns objetos associados a elas / We study the singularities of families of symmetric matrices. The aim of this work is to classify simple singularities of such families and study the geometry of some objects associated to them

Estudamos singularidades de famílias de matrizes simétricas. O objetivo é classificar as singularidades simples de tais famílias e estudar a geometria de alguns objetos associados a elas / We study the singularities of families of symmetric matrices. The aim of this work is to classify simple singularities of such families and study the geometry of some objects associated to them

Submitted by Samuel Paulino dos Santos null (samuelp.santos@hotmail.com) on 2018-02-20T18:11:03Z No. of bitstreams: 1 Samuel Dissertacao.pdf: 1684097 bytes, checksum: f23b4c4291af5720876a40f4fad8bc75 (MD5) / Rejected by Elza Mitiko Sato null (elzasato@ibilce.unesp.br), reason: Solicitamos que realize correções na submissão seguindo as orientações abaixo: Problema 01) O arquivo contém 07(sete) páginas em branco, as mesmas devem retiradas. Problema 02) Na Folha de rosto deve constar a financiadora. Ex.: Financiadora: FAPESP – Proc. Problema 03) Na capa e folha de rosto devem constar somente o ano Problema 04) A ficha catalográfica deve ser refeita pois na contagem entraram as páginas em branco.. Na página da Seção de pós-graduação, em Instruções para Qualificação e Defesas de Dissertação e Tese, você pode acessar o modelo das páginas pré-textuais. Lembramos que o arquivo depositado no repositório deve ser igual ao impresso. Agradecemos a compreensão. on 2018-02-21T19:46:00Z (GMT) / Submitted by Samuel Paulino dos Santos null (samuelp.santos@hotmail.com) on 2018-02-22T17:32:54Z No. of bitstreams: 1 Samuel Dissertacao.pdf: 1684097 bytes, checksum: f23b4c4291af5720876a40f4fad8bc75 (MD5) / Rejected by Elza Mitiko Sato null (elzasato@ibilce.unesp.br), reason: Solicitamos que realize correções na submissão seguindo as orientações abaixo: Problema 01) O arquivo contém 07(sete) páginas em branco, as mesmas devem retiradas, pois não pode haver páginas em branco no arquivo. Problema 02) Na Folha de rosto deve constar a financiadora. Ex.: Financiadora: FAPESP – Proc. Problema 03) Na capa e folha de rosto devem constar somente o ano Problema 04) A ficha catalográfica deve ser refeita pois na contagem entraram as páginas em branco. Estamos encaminhando via e-mail o modelo das páginas pré-textuais para que você possa fazer as correções. Lembramos que o arquivo depositado no repositório deve ser igual ao impresso. Agradecemos a compreensão. on 2018-02-22T18:21:23Z (GMT) / Submitted by Samuel Paulino dos Santos null (samuelp.santos@hotmail.com) on 2018-02-22T19:27:58Z No. of bitstreams: 1 Dissertacao-Samuel-CORRECOES.pdf: 1777749 bytes, checksum: 414449c29a5a2c7be6d6e5dc4eb7fbe0 (MD5) / Submitted by Samuel Paulino dos Santos null (samuelp.santos@hotmail.com) on 2018-02-22T19:46:16Z No. of bitstreams: 1 Dissertacao-Samuel-CORRECOES.pdf: 1777749 bytes, checksum: 414449c29a5a2c7be6d6e5dc4eb7fbe0 (MD5) / Approved for entry into archive by Elza Mitiko Sato null (elzasato@ibilce.unesp.br) on 2018-02-23T18:32:09Z (GMT) No. of bitstreams: 1 santos_sp_me_sjrp.pdf: 1777749 bytes, checksum: 414449c29a5a2c7be6d6e5dc4eb7fbe0 (MD5) / Made available in DSpace on 2018-02-23T18:32:09Z (GMT). No. of bitstreams: 1 santos_sp_me_sjrp.pdf: 1777749 bytes, checksum: 414449c29a5a2c7be6d6e5dc4eb7fbe0 (MD5) Previous issue date: 2018-02-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Seja S uma superf´ıcie regular em R3 sem pontos parab´olicos. O conjunto focal de S ´e o lugar geom´etrico dos centros das esferas que possuem contato degenerado com S em cada ponto. Tal contato ´e medido pelas singularidades da fam´ılia de func¸˜oes distaˆncia ao quadrado D associada a` S. O conjunto focal ´e uma superf´ıcie, por´em n˜ao necessariamente regular, e pode tamb´em ser visto como o conjunto bifurca¸ca˜o da fam´ılia D. A t´ecnica de associar uma variedade singular X(S) a uma subvariedade suave S do espa¸co euclidiano e descobrir alguns aspectos da geometria de S a partir daqueles de X(S) esta´ na essˆencia das aplica¸co˜es da Teoria das Singularidades `a Geometria Diferencial. Neste trabalho, estudamos os modelos, a menos de difeomorfismos, para o conjunto focal de superf´ıcies imersas em R3 gen´ericas, reunimos os principais resultados sobre a geometria da superf´ıcie focal encontrados na literatura e os apresentamos de forma mais explicativa e com uma linguagem moderna. Al´em disso, mostramos que a superf´ıcie focal pode ser parametrizada por uma frente de onda e utilizamos resultados conhecidos para tais aplica¸co˜es no estudo da geometria da superf´ıcie focal. / Let S be a immersed surface in R3 without parabolic points. The focal set of S is the locus of the centres of spheres that have a degenerate contact with S in each point. This contact is measured by singularities of the family of distance squared function D associated with S. The focal set is a surface, but is not necessarily regular, and it can also be seen as the bifurcation set of the family D. The approach of associating a singular variety X(S) to a smooth submanifold S in an Euclidian space and recover some aspects of the geometry of S from that of X(S) is at the essence of applications of singularity theory to the Differential Geometry. In this work, we study models, unless diffeomorphism, of focal set of the immersed generics surfaces in R3. We have also gathered some results about the geometry of the focal set of the literature and we present them in a more explanatory way and in a modern notation. Furthermore, we show that the focal surface can be parametrized by a wave front and use the known results of such applications in the study of the focal set. / Fapesp: 2016/21226-5