DSpace/Manakin Repository

GitHub repository for processorCI verifier

GitHub repository for processorCI verifier

Gomes, Gabriel Pimentel; Azevedo, Rodolfo Jardim de
URI: https://doi.org/10.25824/redu/NR8H6B
https://redu.unicamp.br/dataset.xhtml?amp;persistentId=doi:10.25824/redu/NR8H6B

Descrição:

Set of tools for performing trace-based verification of RISC-V processors against the golden model Spike.

Mostrar registro completo

Arquivos deste item

Arquivos Tamanho Formato Visualização

Não existem arquivos associados a este item.

Este item aparece na(s) seguinte(s) coleção(s)