{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:Z3Z2NTVDSVDOY2HJOG4KPQSFFD","short_pith_number":"pith:Z3Z2NTVD","schema_version":"1.0","canonical_sha256":"cef3a6cea39546ec68e971b8a7c24528cc230177af1c97efa8f61fec25af9ea7","source":{"kind":"arxiv","id":"2605.17892","version":1},"attestation_state":"computed","paper":{"title":"CPPL: A Circuit Prompt Programming Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Bei Yu, Chen Bai, Lancheng Zou, Shuo Yin, Tinghuan Chen, Tsung-Yi Ho, Xufeng Yao, Yihe Wang, Zhengrong Wang","submitted_at":"2026-05-18T05:54:55Z","abstract_excerpt":"Large language models (LLMs) have shown promise in register-transfer level (RTL) design automation, but direct RTL generation remains difficult to validate, optimize, and integrate with compiler-based hardware design flows. Hardware compiler infrastructures such as CIRCT provide typed intermediate representations, legality checks, and optimization passes, yet current LLMs struggle to emit raw compiler IR because of MLIR syntax, SSA discipline, dialect-specific operations, and strict width constraints. This paper presents CPPL, a compiler-mediated design framework that turns LLM-assisted hardwa"},"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":"2605.17892","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-05-18T05:54:55Z","cross_cats_sorted":[],"title_canon_sha256":"152160a24f756b096a3b738fec32a9d8fe31359bbbe64b2d9ef2489f1b6f0476","abstract_canon_sha256":"cd5f47c2ab79a5a5bfed03afd13e22ab12b4dc68ae51f59eea12132b0cd7b688"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:05:04.254822Z","signature_b64":"TATYl1wmZb/FoABu4O1vKS0UfjPPzSoieFmTjuHZdeEgJ6fQYhscBFfYpNCvzSaumiiS/mbuOkSMkzpP3DlsCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cef3a6cea39546ec68e971b8a7c24528cc230177af1c97efa8f61fec25af9ea7","last_reissued_at":"2026-05-20T00:05:04.253942Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:05:04.253942Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"CPPL: A Circuit Prompt Programming Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Bei Yu, Chen Bai, Lancheng Zou, Shuo Yin, Tinghuan Chen, Tsung-Yi Ho, Xufeng Yao, Yihe Wang, Zhengrong Wang","submitted_at":"2026-05-18T05:54:55Z","abstract_excerpt":"Large language models (LLMs) have shown promise in register-transfer level (RTL) design automation, but direct RTL generation remains difficult to validate, optimize, and integrate with compiler-based hardware design flows. Hardware compiler infrastructures such as CIRCT provide typed intermediate representations, legality checks, and optimization passes, yet current LLMs struggle to emit raw compiler IR because of MLIR syntax, SSA discipline, dialect-specific operations, and strict width constraints. This paper presents CPPL, a compiler-mediated design framework that turns LLM-assisted hardwa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.17892","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/2605.17892/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":"2605.17892","created_at":"2026-05-20T00:05:04.254085+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.17892v1","created_at":"2026-05-20T00:05:04.254085+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17892","created_at":"2026-05-20T00:05:04.254085+00:00"},{"alias_kind":"pith_short_12","alias_value":"Z3Z2NTVDSVDO","created_at":"2026-05-20T00:05:04.254085+00:00"},{"alias_kind":"pith_short_16","alias_value":"Z3Z2NTVDSVDOY2HJ","created_at":"2026-05-20T00:05:04.254085+00:00"},{"alias_kind":"pith_short_8","alias_value":"Z3Z2NTVD","created_at":"2026-05-20T00:05:04.254085+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/Z3Z2NTVDSVDOY2HJOG4KPQSFFD","json":"https://pith.science/pith/Z3Z2NTVDSVDOY2HJOG4KPQSFFD.json","graph_json":"https://pith.science/api/pith-number/Z3Z2NTVDSVDOY2HJOG4KPQSFFD/graph.json","events_json":"https://pith.science/api/pith-number/Z3Z2NTVDSVDOY2HJOG4KPQSFFD/events.json","paper":"https://pith.science/paper/Z3Z2NTVD"},"agent_actions":{"view_html":"https://pith.science/pith/Z3Z2NTVDSVDOY2HJOG4KPQSFFD","download_json":"https://pith.science/pith/Z3Z2NTVDSVDOY2HJOG4KPQSFFD.json","view_paper":"https://pith.science/paper/Z3Z2NTVD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.17892&json=true","fetch_graph":"https://pith.science/api/pith-number/Z3Z2NTVDSVDOY2HJOG4KPQSFFD/graph.json","fetch_events":"https://pith.science/api/pith-number/Z3Z2NTVDSVDOY2HJOG4KPQSFFD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Z3Z2NTVDSVDOY2HJOG4KPQSFFD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Z3Z2NTVDSVDOY2HJOG4KPQSFFD/action/storage_attestation","attest_author":"https://pith.science/pith/Z3Z2NTVDSVDOY2HJOG4KPQSFFD/action/author_attestation","sign_citation":"https://pith.science/pith/Z3Z2NTVDSVDOY2HJOG4KPQSFFD/action/citation_signature","submit_replication":"https://pith.science/pith/Z3Z2NTVDSVDOY2HJOG4KPQSFFD/action/replication_record"}},"created_at":"2026-05-20T00:05:04.254085+00:00","updated_at":"2026-05-20T00:05:04.254085+00:00"}