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...
Na minha lista:
Autor principal: | |
---|---|
Outros Autores: | |
Formato: | bachelorThesis |
Idioma: | pt_BR |
Publicado em: |
Universidade Federal do Rio Grande do Norte
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/handle/123456789/53656 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Resumo: | 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. |
---|