GitHub repository for processorCI verifier
收藏DataCite Commons2026-02-25 更新2026-05-07 收录
下载链接：
https://redu.unicamp.br/citation?persistentId=doi:10.25824/redu/NR8H6B
下载链接
链接失效反馈官方服务：
资源简介：
Set of tools for performing trace-based verification of RISC-V processors against the golden model Spike.
提供机构：
Repositório de Dados de Pesquisa da Unicamp
创建时间：
2026-02-25
