Data · dataset · 2026
GitHub repository for processorCI verifier
Listed in REDU - Unicamp Institutional Research Data Repository
Set of tools for performing trace-based verification of RISC-V processors against the golden model Spike.
Links
Where it is published
- Dataverse dataset page redu.unicamp.br/dataset.xhtml?persistentId=doi%3A10.25824%2Fredu%2FNR8H6B ↗
landing page · from redu unicamp br
- DOI doi.org/10.25824/redu/nr8h6b ↗
DOI / persistent id · from redu unicamp br
Catalogue records · 1
- Dataverse API redu.unicamp.br/api/datasets/:persistentId/?persistentId=doi%3A10.25824%2Fredu… ↗
metadata API · from redu unicamp br
Topics
- Stated by source
- Computer and Information Science · Engineering
- From keywords
- Engineering
Provenance · 1 source records, 9 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| REDU - Unicamp Institutional Research Data Repository | doi:10.25824/redu/NR8H6B | 10 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].dataverse_subject:computer-and-information-science | source · redu unicamp br | connector:redu_unicamp_br@1.0.0 | /subjects |
| concepts[field].dataverse_subject:engineering | source · redu unicamp br | connector:redu_unicamp_br@1.0.0 | /subjects |
| concepts[field].local:field:engineering | mapping · redu unicamp br | connector:redu_unicamp_br@1.0.0 | /subjects |
| created_date | source · redu unicamp br | connector:redu_unicamp_br@1.0.0 | |
| description | source · redu unicamp br | connector:redu_unicamp_br@1.0.0 | /description |
| publication_date | source · redu unicamp br | connector:redu_unicamp_br@1.0.0 | |
| title | source · redu unicamp br | connector:redu_unicamp_br@1.0.0 | /name |
| updated_date | source · redu unicamp br | connector:redu_unicamp_br@1.0.0 | |
| version_label | source · redu unicamp br | connector:redu_unicamp_br@1.0.0 |