Injeção de falhas e verificação de hardware para o CEVERO

CEVERO is a processor developed by LAPPS, a laboratory at the Universidade Federal do Rio Grande do Norte. It was developed aiming to be fault tolerant using hardware redundancy technique, having two Ibex cores, which are based in the RISC-V architecture. With the aim of validate the reliability...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Dantas, Matheus Luna de Oliveira
Outros Autores: Souza, Samuel Xavier de
Formato: bachelorThesis
Idioma:pt_BR
Publicado em: Universidade Federal do Rio Grande do Norte
Assuntos:
Tolerância a falhas
Injeção de falhas
Simulação
SEU
RISC-V
CEVERO
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::HARDWARE
Endereço do item:https://repositorio.ufrn.br/handle/123456789/53656
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id ri-123456789-53656
record_format dspace
spelling ri-123456789-536562023-07-18T18:23:56Z Injeção de falhas e verificação de hardware para o CEVERO Fault injection and hardware verification for CEVERO Dantas, Matheus Luna de Oliveira Souza, Samuel Xavier de http://lattes.cnpq.br/8598197987321450 Nascimento, Diego Vinicius Cirilo do Farias, Johannes Warwick da Costa Oliveira, Luiz Affonso Henderson Guedes de Oliveira, Luiz Affonso Henderson Guedes de Tolerância a falhas Injeção de falhas Simulação SEU RISC-V CEVERO CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::HARDWARE CEVERO is a processor developed by LAPPS, a laboratory at the Universidade Federal do Rio Grande do Norte. It was developed aiming to be fault tolerant using hardware redundancy technique, having two Ibex cores, which are based in the RISC-V architecture. With the aim of validate the reliability of CEVERO, it will be used fault injection techniques, writing testbenches in SystemVerilog and simulating them in ModelSim, modeling an environment that can simulate some effects caused by radiation, such as Single Event Upsets (SEU). This proccess of validation through fault injections is proposed to be just the beginning of a future complete hardware verification environment for CEVERO. It was possible to verify that CEVERO keep resilient to failure, proving its reability. O CEVERO é uma plataforma desenvolvido pelo LAPPS, laboratório da Universidade Federal do Rio Grande do Norte. O CEVERO foi desenvolvido para ser tolerante a falhas, utilizando de redundância de hardware, possuindo dois cores Ibex, que se baseiam na arquitetura RISC-V. O objetivo do trabalho é realizar um ambiente de verificação funcional de hardware para o CEVERO, realizando a validação de confiabilidade. Para isso, será utilizada a técnica de injeção de falhas em hardware por meio de simulação, através de testbenches escritos em SystemVerilog sendo executados no ModelSim, modelando um ambiente que possa simular alguns efeitos causados por radiação, como os Single Event Upsets (SEU). Essa validação por meio das injeções de falhas se propõe a ser o início de um futuro ambiente completo de verificação de hardware para o CEVERO. O resultado obtido verificou que o CEVERO permaneceu resiliente quanto às injeções realizadas, comprovando a sua confiabilidade. 2023-07-18T18:23:55Z 2023-07-18T18:23:55Z 2023-07-05 bachelorThesis DANTAS, Matheus Luna de Oliveira. Injeção de falhas e verificação de hardware para o CEVERO. Orientador: Samuel Xavier de Souza. 2023. 41 f. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Departamento de Engenharia de Computação e Automação, Universidade Federal do Rio Grande do Norte, Natal, 2023. https://repositorio.ufrn.br/handle/123456789/53656 pt_BR CC0 1.0 Universal http://creativecommons.org/publicdomain/zero/1.0/ application/pdf Universidade Federal do Rio Grande do Norte Brasil UFRN Engenharia de Computação Engenharia de Computação e Automação
institution Repositório Institucional
collection RI - UFRN
language pt_BR
topic Tolerância a falhas
Injeção de falhas
Simulação
SEU
RISC-V
CEVERO
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::HARDWARE
spellingShingle Tolerância a falhas
Injeção de falhas
Simulação
SEU
RISC-V
CEVERO
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::HARDWARE
Dantas, Matheus Luna de Oliveira
Injeção de falhas e verificação de hardware para o CEVERO
description CEVERO is a processor developed by LAPPS, a laboratory at the Universidade Federal do Rio Grande do Norte. It was developed aiming to be fault tolerant using hardware redundancy technique, having two Ibex cores, which are based in the RISC-V architecture. With the aim of validate the reliability of CEVERO, it will be used fault injection techniques, writing testbenches in SystemVerilog and simulating them in ModelSim, modeling an environment that can simulate some effects caused by radiation, such as Single Event Upsets (SEU). This proccess of validation through fault injections is proposed to be just the beginning of a future complete hardware verification environment for CEVERO. It was possible to verify that CEVERO keep resilient to failure, proving its reability.
author2 Souza, Samuel Xavier de
author_facet Souza, Samuel Xavier de
Dantas, Matheus Luna de Oliveira
format bachelorThesis
author Dantas, Matheus Luna de Oliveira
author_sort Dantas, Matheus Luna de Oliveira
title Injeção de falhas e verificação de hardware para o CEVERO
title_short Injeção de falhas e verificação de hardware para o CEVERO
title_full Injeção de falhas e verificação de hardware para o CEVERO
title_fullStr Injeção de falhas e verificação de hardware para o CEVERO
title_full_unstemmed Injeção de falhas e verificação de hardware para o CEVERO
title_sort injeção de falhas e verificação de hardware para o cevero
publisher Universidade Federal do Rio Grande do Norte
publishDate 2023
url https://repositorio.ufrn.br/handle/123456789/53656
work_keys_str_mv AT dantasmatheuslunadeoliveira injecaodefalhaseverificacaodehardwareparaocevero
AT dantasmatheuslunadeoliveira faultinjectionandhardwareverificationforcevero
_version_ 1773961708175360000

Registros relacionados