Table · dataset · 2026
Reproducibility archive: Discharging Assumptions at Internal Cut Points in Hardware Formal Verification
Listed in figshare and Loughborough Research Repository — shown once because both records carry DOI 10.6084/m9.figshare.33971473.v1
<p dir="ltr">Reproducibility archive for the article "Discharging Assumptions at Internal Cut Points in Hardware Formal Verification".
Description
It contains the pipeline, the records and proof models of every sweep, the registered predictions and their deviation log, the fault-injection records, and the second-toolchain checker sources with their verdicts (no tool logs). Running bash regenerate.sh re-derives every summary from the per-site records and regenerates the Letter's numbers and tables byte for byte; python3 replay/replay.py re-runs every recorded proof obligation on the frozen models with a SAT solver alone.
See README.md in the archive.</p>
Links
Where it is published
- DOI doi.org/10.6084/m9.figshare.33971473.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
- From keywords
- Astronomy & Astrophysics · Chemistry · Chemistry · Computer Science & AI · Computer Science & AI · Digital electronic devices · Digital electronic devices · Earth & Environmental Science · Earth & Environmental Science · Economics & Finance · Economics & Finance · Engineering · Engineering · Formal methods for software · Formal methods for software · Humanities · Humanities · Life Sciences · Life Sciences · Materials Science · Mathematics & Statistics · Medicine & Health · Medicine & Health · Ocean & Atmospheric Science · Psychology & Behavioral Science · Social Science · Social Science
Provenance · 2 source records, 32 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| figshare | oai:figshare.com:article/33971473 | 6 d ago | JSON v1 |
| Loughborough Research Repository | oai:figshare.com:article/33971473 | 6 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 · repository lboro ac uk | vocabulary-mapper@1.0.0 | keywords['Digital electronic devices'] |
| concepts[field].anzsrc:field:400902 | mapping · figshare com | vocabulary-mapper@1.0.0 | keywords['Digital electronic devices'] |
| concepts[field].anzsrc:field:461203 | mapping · repository lboro ac uk | vocabulary-mapper@1.0.0 | keywords['Formal methods for software'] |
| concepts[field].anzsrc:field:461203 | mapping · figshare com | vocabulary-mapper@1.0.0 | keywords['Formal methods for software'] |
| 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:chemistry | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:economics-finance | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@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:engineering | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:humanities | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@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:life-sciences | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:materials-science | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:mathematics-statistics | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:medicine-health | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:medicine-health | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:ocean-atmospheric | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:psychology-behavioral | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:social-science | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:social-science | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@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 |