{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:GIHXNIXWGEXVP75TF5NBTQEIXT","short_pith_number":"pith:GIHXNIXW","canonical_record":{"source":{"id":"2409.11414","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AR","submitted_at":"2024-09-04T09:59:37Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"f5edc0e8b5700b5ad6d5c5b6776827074ee61694eb9ebb84f6f9f18220348957","abstract_canon_sha256":"e66cb3c6d379b093c45060d247ad09240d5da31e68d2fadaeda4891c6666ddf1"},"schema_version":"1.0"},"canonical_sha256":"320f76a2f6312f57ffb32f5a19c088bccc157a4d562aef69bb36a12396ee547e","source":{"kind":"arxiv","id":"2409.11414","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.11414","created_at":"2026-07-05T09:08:30Z"},{"alias_kind":"arxiv_version","alias_value":"2409.11414v1","created_at":"2026-07-05T09:08:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.11414","created_at":"2026-07-05T09:08:30Z"},{"alias_kind":"pith_short_12","alias_value":"GIHXNIXWGEXV","created_at":"2026-07-05T09:08:30Z"},{"alias_kind":"pith_short_16","alias_value":"GIHXNIXWGEXVP75T","created_at":"2026-07-05T09:08:30Z"},{"alias_kind":"pith_short_8","alias_value":"GIHXNIXW","created_at":"2026-07-05T09:08:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:GIHXNIXWGEXVP75TF5NBTQEIXT","target":"record","payload":{"canonical_record":{"source":{"id":"2409.11414","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AR","submitted_at":"2024-09-04T09:59:37Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"f5edc0e8b5700b5ad6d5c5b6776827074ee61694eb9ebb84f6f9f18220348957","abstract_canon_sha256":"e66cb3c6d379b093c45060d247ad09240d5da31e68d2fadaeda4891c6666ddf1"},"schema_version":"1.0"},"canonical_sha256":"320f76a2f6312f57ffb32f5a19c088bccc157a4d562aef69bb36a12396ee547e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:08:30.455387Z","signature_b64":"Lw47qsRcd8pdNq/+5Z4yLoEdcBMa6ShWtuIOa04mdSVyI98hE+PcEZjAJ5tZ1tabvjyD0h2AHcM0EHYgPgvWDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"320f76a2f6312f57ffb32f5a19c088bccc157a4d562aef69bb36a12396ee547e","last_reissued_at":"2026-07-05T09:08:30.454922Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:08:30.454922Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.11414","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:08:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jluIELUee2R9+EtuTvkMZyBxbknLWU237lnsX5VxXfWCQtnBtriCMETCq/S7tJUfxt8KMxK2gtfNlk4cy1zrDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T12:41:11.173064Z"},"content_sha256":"c9ec99df8f6fd58f25458b3d19236cbe6f946624f404b19195fbcc3f906d94dc","schema_version":"1.0","event_id":"sha256:c9ec99df8f6fd58f25458b3d19236cbe6f946624f404b19195fbcc3f906d94dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:GIHXNIXWGEXVP75TF5NBTQEIXT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"RTLRewriter: Methodologies for Large Models aided RTL Code Optimization","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.AR","authors_text":"Bei Yu, Hong Xu, Lei Chen, Mingxuan Yuan, Ran Chen, Xing Li, Xufeng Yao, Yingzhao Lian, Yiwen Wang","submitted_at":"2024-09-04T09:59:37Z","abstract_excerpt":"Register Transfer Level (RTL) code optimization is crucial for enhancing the efficiency and performance of digital circuits during early synthesis stages. Currently, optimization relies heavily on manual efforts by skilled engineers, often requiring multiple iterations based on synthesis feedback. In contrast, existing compiler-based methods fall short in addressing complex designs. This paper introduces RTLRewriter, an innovative framework that leverages large models to optimize RTL code. A circuit partition pipeline is utilized for fast synthesis and efficient rewriting. A multi-modal progra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.11414","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/2409.11414/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:08:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fwQEhAa/jqn8gThcHdDTZ3nfg6pHpJlzsiiXRyCHWau/Z0rfM2AFcI7hDl9YmWoJlhDAG/ycvxZYGsOvbCnXAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T12:41:11.173820Z"},"content_sha256":"977c8fb271474b27f48ec8dc0b55d9be329f3b3edce7501ce90fc08d642f5bbb","schema_version":"1.0","event_id":"sha256:977c8fb271474b27f48ec8dc0b55d9be329f3b3edce7501ce90fc08d642f5bbb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GIHXNIXWGEXVP75TF5NBTQEIXT/bundle.json","state_url":"https://pith.science/pith/GIHXNIXWGEXVP75TF5NBTQEIXT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GIHXNIXWGEXVP75TF5NBTQEIXT/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-07T12:41:11Z","links":{"resolver":"https://pith.science/pith/GIHXNIXWGEXVP75TF5NBTQEIXT","bundle":"https://pith.science/pith/GIHXNIXWGEXVP75TF5NBTQEIXT/bundle.json","state":"https://pith.science/pith/GIHXNIXWGEXVP75TF5NBTQEIXT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GIHXNIXWGEXVP75TF5NBTQEIXT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:GIHXNIXWGEXVP75TF5NBTQEIXT","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e66cb3c6d379b093c45060d247ad09240d5da31e68d2fadaeda4891c6666ddf1","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AR","submitted_at":"2024-09-04T09:59:37Z","title_canon_sha256":"f5edc0e8b5700b5ad6d5c5b6776827074ee61694eb9ebb84f6f9f18220348957"},"schema_version":"1.0","source":{"id":"2409.11414","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.11414","created_at":"2026-07-05T09:08:30Z"},{"alias_kind":"arxiv_version","alias_value":"2409.11414v1","created_at":"2026-07-05T09:08:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.11414","created_at":"2026-07-05T09:08:30Z"},{"alias_kind":"pith_short_12","alias_value":"GIHXNIXWGEXV","created_at":"2026-07-05T09:08:30Z"},{"alias_kind":"pith_short_16","alias_value":"GIHXNIXWGEXVP75T","created_at":"2026-07-05T09:08:30Z"},{"alias_kind":"pith_short_8","alias_value":"GIHXNIXW","created_at":"2026-07-05T09:08:30Z"}],"graph_snapshots":[{"event_id":"sha256:977c8fb271474b27f48ec8dc0b55d9be329f3b3edce7501ce90fc08d642f5bbb","target":"graph","created_at":"2026-07-05T09:08:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2409.11414/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Register Transfer Level (RTL) code optimization is crucial for enhancing the efficiency and performance of digital circuits during early synthesis stages. Currently, optimization relies heavily on manual efforts by skilled engineers, often requiring multiple iterations based on synthesis feedback. In contrast, existing compiler-based methods fall short in addressing complex designs. This paper introduces RTLRewriter, an innovative framework that leverages large models to optimize RTL code. A circuit partition pipeline is utilized for fast synthesis and efficient rewriting. A multi-modal progra","authors_text":"Bei Yu, Hong Xu, Lei Chen, Mingxuan Yuan, Ran Chen, Xing Li, Xufeng Yao, Yingzhao Lian, Yiwen Wang","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AR","submitted_at":"2024-09-04T09:59:37Z","title":"RTLRewriter: Methodologies for Large Models aided RTL Code Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.11414","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c9ec99df8f6fd58f25458b3d19236cbe6f946624f404b19195fbcc3f906d94dc","target":"record","created_at":"2026-07-05T09:08:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e66cb3c6d379b093c45060d247ad09240d5da31e68d2fadaeda4891c6666ddf1","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AR","submitted_at":"2024-09-04T09:59:37Z","title_canon_sha256":"f5edc0e8b5700b5ad6d5c5b6776827074ee61694eb9ebb84f6f9f18220348957"},"schema_version":"1.0","source":{"id":"2409.11414","kind":"arxiv","version":1}},"canonical_sha256":"320f76a2f6312f57ffb32f5a19c088bccc157a4d562aef69bb36a12396ee547e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"320f76a2f6312f57ffb32f5a19c088bccc157a4d562aef69bb36a12396ee547e","first_computed_at":"2026-07-05T09:08:30.454922Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:08:30.454922Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Lw47qsRcd8pdNq/+5Z4yLoEdcBMa6ShWtuIOa04mdSVyI98hE+PcEZjAJ5tZ1tabvjyD0h2AHcM0EHYgPgvWDA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:08:30.455387Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.11414","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c9ec99df8f6fd58f25458b3d19236cbe6f946624f404b19195fbcc3f906d94dc","sha256:977c8fb271474b27f48ec8dc0b55d9be329f3b3edce7501ce90fc08d642f5bbb"],"state_sha256":"9c61a6f8d8879a4511b7541052d94b095219e81adc771d4f099c2e607c0ef5ca"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UaearVBs/Lh9Gq+FsU0n/U9zFVZiepdTcZF7mPZlZOE0IqzKlXrBU94oNw2mFfopNZfgV8XzPk3rFRi/nXiZDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T12:41:11.181333Z","bundle_sha256":"cea7f81f33e5e06f6ce6fac016fac6df35541baa0a7d8a8a1825dc09be372a01"}}