Table · dataset · 2026
Reproducibility archive: Unreachable Assertion Triggers in OpenTitan
Listed in figshare
<p dir="ltr">Reproducibility archive for the article "Unreachable Assertion Triggers in OpenTitan: A Formal Verification Census with Configuration Controls".
Description
It contains the per-assertion census records, the frozen predictions, the source pins, the analysis scripts and regression tests, and the evidence for six matched configuration controls. Running python3 tools/verify_package.py from the archive root checks every file against its recorded hash, regenerates all analysis outputs byte for byte, and runs the regression tests and the control validator; no commercial tool is needed.
Rerunning the formal measurements requires Cadence JasperGold 2026.06 and the upstream repositories at the commits listed in data/corpus_pins.json. See README.md in the archive for details.</p>
Links
Where it is published
- DOI doi.org/10.6084/m9.figshare.33684955.v1 ↗
DOI / persistent id · from figshare com
Catalogue records · 1
- OAI-PMH record api.figshare.com/v2/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3Af… ↗
metadata API · from figshare com
Topics
Provenance · 1 source records, 17 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| figshare | oai:figshare.com:article/33684955 | 5 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].anzsrc:field:400902 | mapping · figshare com | vocabulary-mapper@1.0.0 | keywords['Digital electronic devices'] |
| concepts[field].local:field:astronomy | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:chemistry | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:economics-finance | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:engineering | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:humanities | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:life-sciences | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:medicine-health | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:ocean-atmospheric | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:social-science | mapping · figshare com | connector:figshare_com@1.0.0 | |
| description | source · figshare com | connector:figshare_com@1.0.0 | /metadata/dc/description |
| license | source · figshare com | connector:figshare_com@1.0.0 | /metadata/dc/rights |
| publication_date | source · figshare com | connector:figshare_com@1.0.0 | |
| title | source · figshare com | connector:figshare_com@1.0.0 | /metadata/dc/title |