{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:MFLSWPOUYFSKK5GEAWNXOPOZL4","short_pith_number":"pith:MFLSWPOU","schema_version":"1.0","canonical_sha256":"61572b3dd4c164a574c4059b773dd95f23d571f1c87b43783d0031695f62655d","source":{"kind":"arxiv","id":"2607.25283","version":1},"attestation_state":"computed","paper":{"title":"ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AR","cs.CR"],"primary_cat":"cs.AI","authors_text":"Haoxiang Sun, Jingbo Zhang, Wenbo Wang, Wenbo Zhang","submitted_at":"2026-07-28T04:41:13Z","abstract_excerpt":"This paper presents ContractHIL-HLS, a contract-aligned multi-agent workflow for practical high-level synthesis (HLS) engineering. The workflow makes three contributions. First, it introduces a structured contract as the semantic-alignment and task-execution artifact that translates natural language requirements into explicit interfaces, constraints, validation checks, and rollback rules. Second, it incorporates hardware information into the feedback loop by feeding HLS, Vivado, PYNQ runtime, power, and failure evidence back into generation, thereby extending LLM-assisted HLS from kernel code "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2607.25283","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-28T04:41:13Z","cross_cats_sorted":["cs.AR","cs.CR"],"title_canon_sha256":"5b0377a6651355b3ddee29190abf26e3a0f9f81098fe6856758d0cfa04b43ea9","abstract_canon_sha256":"0d71dee6b2acf78c163f49292fd90667e0741eda4e468737f7221b54d4bc324b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-29T01:25:04.972832Z","signature_b64":"tojozGBZheKOWoP9ZRvYTxhR6RlkqBepiiMAg0CsbRjG9zqeF23yPiPl+9rG+CtoPGPX613jknyrzCjh8sAvBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"61572b3dd4c164a574c4059b773dd95f23d571f1c87b43783d0031695f62655d","last_reissued_at":"2026-07-29T01:25:04.971883Z","signature_status":"signed_v1","first_computed_at":"2026-07-29T01:25:04.971883Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AR","cs.CR"],"primary_cat":"cs.AI","authors_text":"Haoxiang Sun, Jingbo Zhang, Wenbo Wang, Wenbo Zhang","submitted_at":"2026-07-28T04:41:13Z","abstract_excerpt":"This paper presents ContractHIL-HLS, a contract-aligned multi-agent workflow for practical high-level synthesis (HLS) engineering. The workflow makes three contributions. First, it introduces a structured contract as the semantic-alignment and task-execution artifact that translates natural language requirements into explicit interfaces, constraints, validation checks, and rollback rules. Second, it incorporates hardware information into the feedback loop by feeding HLS, Vivado, PYNQ runtime, power, and failure evidence back into generation, thereby extending LLM-assisted HLS from kernel code "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.25283","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.25283/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.25283","created_at":"2026-07-29T01:25:04.972337+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.25283v1","created_at":"2026-07-29T01:25:04.972337+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.25283","created_at":"2026-07-29T01:25:04.972337+00:00"},{"alias_kind":"pith_short_12","alias_value":"MFLSWPOUYFSK","created_at":"2026-07-29T01:25:04.972337+00:00"},{"alias_kind":"pith_short_16","alias_value":"MFLSWPOUYFSKK5GE","created_at":"2026-07-29T01:25:04.972337+00:00"},{"alias_kind":"pith_short_8","alias_value":"MFLSWPOU","created_at":"2026-07-29T01:25:04.972337+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MFLSWPOUYFSKK5GEAWNXOPOZL4","json":"https://pith.science/pith/MFLSWPOUYFSKK5GEAWNXOPOZL4.json","graph_json":"https://pith.science/api/pith-number/MFLSWPOUYFSKK5GEAWNXOPOZL4/graph.json","events_json":"https://pith.science/api/pith-number/MFLSWPOUYFSKK5GEAWNXOPOZL4/events.json","paper":"https://pith.science/paper/MFLSWPOU"},"agent_actions":{"view_html":"https://pith.science/pith/MFLSWPOUYFSKK5GEAWNXOPOZL4","download_json":"https://pith.science/pith/MFLSWPOUYFSKK5GEAWNXOPOZL4.json","view_paper":"https://pith.science/paper/MFLSWPOU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.25283&json=true","fetch_graph":"https://pith.science/api/pith-number/MFLSWPOUYFSKK5GEAWNXOPOZL4/graph.json","fetch_events":"https://pith.science/api/pith-number/MFLSWPOUYFSKK5GEAWNXOPOZL4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MFLSWPOUYFSKK5GEAWNXOPOZL4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MFLSWPOUYFSKK5GEAWNXOPOZL4/action/storage_attestation","attest_author":"https://pith.science/pith/MFLSWPOUYFSKK5GEAWNXOPOZL4/action/author_attestation","sign_citation":"https://pith.science/pith/MFLSWPOUYFSKK5GEAWNXOPOZL4/action/citation_signature","submit_replication":"https://pith.science/pith/MFLSWPOUYFSKK5GEAWNXOPOZL4/action/replication_record"}},"created_at":"2026-07-29T01:25:04.972337+00:00","updated_at":"2026-07-29T01:25:04.972337+00:00"}