{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NXZ46A4RLFPBS3RTKTCIB33BGG","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":"524018a3b6ad65d3756ba4b9a5cbe19e75bea3a605149b6daa1709703250e1c2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-04-08T06:38:27Z","title_canon_sha256":"95652a53af4d2d695a350d23de548fc422862d7ddd2598a1005382fc4b01e388"},"schema_version":"1.0","source":{"id":"2504.05718","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.05718","created_at":"2026-07-05T10:46:08Z"},{"alias_kind":"arxiv_version","alias_value":"2504.05718v1","created_at":"2026-07-05T10:46:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.05718","created_at":"2026-07-05T10:46:08Z"},{"alias_kind":"pith_short_12","alias_value":"NXZ46A4RLFPB","created_at":"2026-07-05T10:46:08Z"},{"alias_kind":"pith_short_16","alias_value":"NXZ46A4RLFPBS3RT","created_at":"2026-07-05T10:46:08Z"},{"alias_kind":"pith_short_8","alias_value":"NXZ46A4R","created_at":"2026-07-05T10:46:08Z"}],"graph_snapshots":[{"event_id":"sha256:a546173a3db650f472b5dac1fa6984d7c812311e468d2128d30754f2104bbc55","target":"graph","created_at":"2026-07-05T10:46:08Z","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/2504.05718/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The increasing complexity of autonomous systems has driven a shift to integrated heterogeneous SoCs with real-time and safety demands. Ensuring deterministic WCETs and low-latency for critical tasks requires minimizing interference on shared resources like virtual memory. Existing techniques, such as software coloring and memory replication, introduce significant area and performance overhead, especially with virtualized memory where address translation adds latency uncertainty. To address these limitations, we propose CVA6-VMRT, an extension of the open-source RISC-V CVA6 core, adding hardwar","authors_text":"Alessandro Ottaviano, Angelo Garofalo, Christopher Reinwardt, Luca Benini, Robert Balas","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-04-08T06:38:27Z","title":"CVA6-VMRT: A Modular Approach Towards Time-Predictable Virtual Memory in a 64-bit Application Class RISC-V Processor"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.05718","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:f4e90d21b96ebf15e72b99950fcd13c4c04a626af2821e3f4caaf4700f6ee59d","target":"record","created_at":"2026-07-05T10:46:08Z","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":"524018a3b6ad65d3756ba4b9a5cbe19e75bea3a605149b6daa1709703250e1c2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-04-08T06:38:27Z","title_canon_sha256":"95652a53af4d2d695a350d23de548fc422862d7ddd2598a1005382fc4b01e388"},"schema_version":"1.0","source":{"id":"2504.05718","kind":"arxiv","version":1}},"canonical_sha256":"6df3cf0391595e196e3354c480ef6131a37e4938b4c39ddbe8e55279d3a322cd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6df3cf0391595e196e3354c480ef6131a37e4938b4c39ddbe8e55279d3a322cd","first_computed_at":"2026-07-05T10:46:08.543652Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:46:08.543652Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"weOUIW6ZrAFBadPyUETBvve5vwOpAdUeI5rQkkwx778V6S0tXLnEG8/EZ5rjxvujvwBx3SoAsbuXUJq4VjixDA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:46:08.544186Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.05718","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f4e90d21b96ebf15e72b99950fcd13c4c04a626af2821e3f4caaf4700f6ee59d","sha256:a546173a3db650f472b5dac1fa6984d7c812311e468d2128d30754f2104bbc55"],"state_sha256":"d803ed439253b64cbd06f5b43c7b206c07297774892fe7c28208506ea5ce2403"}