{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:XFBKG4JCKYKTCE5MHFJK7C6A7S","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":"20561913fb2e143a5e0fb84909c168e613a04cb450f7a30e0cb1180e427c21e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2013-01-14T04:18:02Z","title_canon_sha256":"32f31961a5b083bab2dbef8883458d27ea2375b1321b89c99b50cba6fab2df61"},"schema_version":"1.0","source":{"id":"1301.2858","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.2858","created_at":"2026-05-18T03:36:34Z"},{"alias_kind":"arxiv_version","alias_value":"1301.2858v1","created_at":"2026-05-18T03:36:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.2858","created_at":"2026-05-18T03:36:34Z"},{"alias_kind":"pith_short_12","alias_value":"XFBKG4JCKYKT","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XFBKG4JCKYKTCE5M","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XFBKG4JC","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:f0934069f6cef01a4e352cc785b01c3550602a4a048bc2ae7f0ae68bde7e2db2","target":"graph","created_at":"2026-05-18T03:36:34Z","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"},"paper":{"abstract_excerpt":"In this paper,we present Generic System Verilog Universal Verification Methodology based Reusable Verification Environment for efficient verification of Image Signal Processing IP's/SoC's. With the tight schedules on all projects it is important to have a strong verification methodology which contributes to First Silicon Success. Deploy methodologies which enforce full functional coverage and verification of corner cases through pseudo random test scenarios is required. Also, standardization of verification flow is needed. Previously, inside imaging group of ST, Specman (e)/Verilog based Verif","authors_text":"Abhishek Jain, Ajay Goyal, Giuseppe Bonanno, Hima Gupta","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2013-01-14T04:18:02Z","title":"Generic System Verilog Universal Verification Methodology based Reusable Verification Environment for Efficient Verification of Image Signal Processing IPs/SoCs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.2858","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:0f97111ae10d05a7dd9f5781915162ce12554367fd40e7cac0b1e34dee6956ee","target":"record","created_at":"2026-05-18T03:36:34Z","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":"20561913fb2e143a5e0fb84909c168e613a04cb450f7a30e0cb1180e427c21e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2013-01-14T04:18:02Z","title_canon_sha256":"32f31961a5b083bab2dbef8883458d27ea2375b1321b89c99b50cba6fab2df61"},"schema_version":"1.0","source":{"id":"1301.2858","kind":"arxiv","version":1}},"canonical_sha256":"b942a3712256153113ac3952af8bc0fca222faf62a451ff0eb4ea267ff9542ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b942a3712256153113ac3952af8bc0fca222faf62a451ff0eb4ea267ff9542ac","first_computed_at":"2026-05-18T03:36:34.935438Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:36:34.935438Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e07kggdgcwsseRuKaRbenN6SQP1LF1f/H8TsxZDMZMGHGIG7gLFBK0yzU3pa2rHS/Fsu/WFktv4TRMo5ZP4TDA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:36:34.936109Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.2858","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0f97111ae10d05a7dd9f5781915162ce12554367fd40e7cac0b1e34dee6956ee","sha256:f0934069f6cef01a4e352cc785b01c3550602a4a048bc2ae7f0ae68bde7e2db2"],"state_sha256":"888f222efb5a84f93e37485c899ec3fa6982d282c780eff82dde9ab331e103bd"}