2026-10-08T19:00:03Z https://api.figshare.com/v2/oai

oai:figshare.com:article/33971473 2026-09-23T06:54:18Z category_26491 category_29185 item_type_3 month_year_09_2026

Reproducibility archive: Discharging Assumptions at Internal Cut Points in Hardware Formal Verification Mohamed Ghonim (24844642) Xiaoyu Song (9762562) Digital electronic devices Formal methods for software Formal verification Assume-Guarantee Contracts Cut Points model checking. register-transfer level Open-source hardware <p dir="ltr">Reproducibility archive for the article "Discharging Assumptions at Internal Cut Points in Hardware Formal Verification". 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> 2026-09-23T06:54:18Z Dataset Dataset 10.6084/m9.figshare.33971473.v1 https://figshare.com/articles/dataset/Reproducibility_archive_Discharging_Assumptions_at_Internal_Cut_Points_in_Hardware_Formal_Verification/33971473 Apache 2.0