{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:N2EVBQGRGLANSHA5STFQZWFC4P","short_pith_number":"pith:N2EVBQGR","schema_version":"1.0","canonical_sha256":"6e8950c0d132c0d91c1d94cb0cd8a2e3c5075ec63d1dc49314889746ab6a8692","source":{"kind":"arxiv","id":"1803.09810","version":1},"attestation_state":"computed","paper":{"title":"Automation of Processor Verification Using Recurrent Neural Networks","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OH","authors_text":"Marcela Zachariasova, Martin Fajcik, Pavel Smrz","submitted_at":"2018-03-06T10:49:34Z","abstract_excerpt":"When considering simulation-based verification of processors, the current trend is to generate stimuli using pseudorandom generators (PRGs), apply them to the processor inputs and monitor the achieved coverage of its functionality in order to determine verification completeness. Stimuli can have different forms, for example, they can be represented by bit vectors applied to the input ports of the processor or by programs that are loaded directly into the program memory. In this paper, we propose a new technique dynamically altering constraints for PRG via recurrent neural network, which receiv"},"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":"1803.09810","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.OH","submitted_at":"2018-03-06T10:49:34Z","cross_cats_sorted":[],"title_canon_sha256":"f8beba99c9f5ed9f17258bf547154fd6ea76245ec99104a0fea263a48d587c94","abstract_canon_sha256":"e2a9917d7bf3d4bdb409a14202b3a3d24635043ff3f65ade06e5743ec9ed969c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:10.437843Z","signature_b64":"Nv88h4iwcdpeXYHTbRYlFpohdiyNCaA0sC3d7h3Q9PYLgGvOKi2ZnaJucAzO1i7gPCJkqA++L/7yEI4/M1XdBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e8950c0d132c0d91c1d94cb0cd8a2e3c5075ec63d1dc49314889746ab6a8692","last_reissued_at":"2026-05-18T00:20:10.437209Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:10.437209Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automation of Processor Verification Using Recurrent Neural Networks","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OH","authors_text":"Marcela Zachariasova, Martin Fajcik, Pavel Smrz","submitted_at":"2018-03-06T10:49:34Z","abstract_excerpt":"When considering simulation-based verification of processors, the current trend is to generate stimuli using pseudorandom generators (PRGs), apply them to the processor inputs and monitor the achieved coverage of its functionality in order to determine verification completeness. Stimuli can have different forms, for example, they can be represented by bit vectors applied to the input ports of the processor or by programs that are loaded directly into the program memory. In this paper, we propose a new technique dynamically altering constraints for PRG via recurrent neural network, which receiv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.09810","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":""},"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":"1803.09810","created_at":"2026-05-18T00:20:10.437304+00:00"},{"alias_kind":"arxiv_version","alias_value":"1803.09810v1","created_at":"2026-05-18T00:20:10.437304+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.09810","created_at":"2026-05-18T00:20:10.437304+00:00"},{"alias_kind":"pith_short_12","alias_value":"N2EVBQGRGLAN","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_16","alias_value":"N2EVBQGRGLANSHA5","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_8","alias_value":"N2EVBQGR","created_at":"2026-05-18T12:32:40.477152+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/N2EVBQGRGLANSHA5STFQZWFC4P","json":"https://pith.science/pith/N2EVBQGRGLANSHA5STFQZWFC4P.json","graph_json":"https://pith.science/api/pith-number/N2EVBQGRGLANSHA5STFQZWFC4P/graph.json","events_json":"https://pith.science/api/pith-number/N2EVBQGRGLANSHA5STFQZWFC4P/events.json","paper":"https://pith.science/paper/N2EVBQGR"},"agent_actions":{"view_html":"https://pith.science/pith/N2EVBQGRGLANSHA5STFQZWFC4P","download_json":"https://pith.science/pith/N2EVBQGRGLANSHA5STFQZWFC4P.json","view_paper":"https://pith.science/paper/N2EVBQGR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1803.09810&json=true","fetch_graph":"https://pith.science/api/pith-number/N2EVBQGRGLANSHA5STFQZWFC4P/graph.json","fetch_events":"https://pith.science/api/pith-number/N2EVBQGRGLANSHA5STFQZWFC4P/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N2EVBQGRGLANSHA5STFQZWFC4P/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N2EVBQGRGLANSHA5STFQZWFC4P/action/storage_attestation","attest_author":"https://pith.science/pith/N2EVBQGRGLANSHA5STFQZWFC4P/action/author_attestation","sign_citation":"https://pith.science/pith/N2EVBQGRGLANSHA5STFQZWFC4P/action/citation_signature","submit_replication":"https://pith.science/pith/N2EVBQGRGLANSHA5STFQZWFC4P/action/replication_record"}},"created_at":"2026-05-18T00:20:10.437304+00:00","updated_at":"2026-05-18T00:20:10.437304+00:00"}