{"as_of":"2026-08-06T03:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4fd432062d779057991eb7638d1b825e7573ab8a92f08f0d507dbeb2e3870db3","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-22T17:58:45.319714Z","state":"measured"},{"denominator":49,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":49,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-22T10:18:18.439819Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-05-22T10:21:24.136067Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"cited_work":{"arxiv_id":"2504.19959","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.19959","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","venue":"cs.AR","work_id":"e1aa70b2-d211-4eb8-84b6-c2f5da8c2f5d","year":2025},"citing_paper":{"arxiv_id":"2604.15606","last_updated":"2026-05-21T15:59:11Z","snapshot_observed_at":"2026-07-06T23:03:07.228701Z","submitted_at":"2026-04-17T01:08:54Z","title":"Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T08:14:18.075112Z"},"links":{"cited_paper":"/paper/2504.19959","citing_paper":"/paper/2604.15606"},"observation_digest":"sha256:aedb9a7fb8712b9043ffb299241b2c30f3e272d6b816c96d6c0081f985d8a582","observation_id":"3972d9d4-6222-4ccd-934e-2a62f1008367","resolution":{"observed_at":"2026-05-10T08:17:37.537128Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"cited_work":{"arxiv_id":"2504.19959","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.19959","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","venue":"cs.AR","work_id":"e1aa70b2-d211-4eb8-84b6-c2f5da8c2f5d","year":2025},"citing_paper":{"arxiv_id":"2604.15606","last_updated":"2026-05-21T15:59:11Z","snapshot_observed_at":"2026-07-06T23:03:07.228701Z","submitted_at":"2026-04-17T01:08:54Z","title":"Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-22T10:18:18.439819Z"},"links":{"cited_paper":"/paper/2504.19959","citing_paper":"/paper/2604.15606"},"observation_digest":"sha256:093de9a48160ac32a77330bece015dfefcba452997e1e0e0cb09b8d2a143ad06","observation_id":"c621a7ca-b9f9-4f7c-a909-a9ca1b69226a","resolution":{"observed_at":"2026-05-22T10:21:24.138911Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"cited_work":{"arxiv_id":"2504.19959","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.19959","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","venue":"cs.AR","work_id":"e1aa70b2-d211-4eb8-84b6-c2f5da8c2f5d","year":2025},"citing_paper":{"arxiv_id":"2604.15657","last_updated":"2026-07-05T20:46:49Z","snapshot_observed_at":"2026-08-01T11:27:15.753221Z","submitted_at":"2026-04-17T03:15:09Z","title":"Understanding Inference-Time Token Allocation and Coverage Limits in Agentic Hardware Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-10T08:00:22.126447Z"},"links":{"cited_paper":"/paper/2504.19959","citing_paper":"/paper/2604.15657"},"observation_digest":"sha256:454f460400b18ece2a2c1e72b6ab7c3e4cd284e8a046c8381d949496a68809c0","observation_id":"d6994b0c-c658-46d3-afe9-8ed825fe664c","resolution":{"observed_at":"2026-05-10T08:02:25.022344Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"cited_work":{"arxiv_id":"2504.19959","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.19959","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","venue":"cs.AR","work_id":"e1aa70b2-d211-4eb8-84b6-c2f5da8c2f5d","year":2025},"citing_paper":{"arxiv_id":"2604.27643","last_updated":"2026-04-30T09:35:32Z","snapshot_observed_at":"2026-07-06T23:13:07.378140Z","submitted_at":"2026-04-30T09:35:32Z","title":"HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-07T05:32:07.097013Z"},"links":{"cited_paper":"/paper/2504.19959","citing_paper":"/paper/2604.27643"},"observation_digest":"sha256:c98804f0cbf5b95295a781ba97aff7f90fe2026e2c2a76798940bcf8dfd09bf0","observation_id":"5af10b5c-e701-4b0c-8ce2-f4ee27330936","resolution":{"observed_at":"2026-05-12T10:36:29.740132Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"cited_work":{"arxiv_id":"2504.19959","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.19959","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","venue":"cs.AR","work_id":"e1aa70b2-d211-4eb8-84b6-c2f5da8c2f5d","year":2025},"citing_paper":{"arxiv_id":"2605.04704","last_updated":"2026-05-07T07:47:54Z","snapshot_observed_at":"2026-07-06T23:17:28.583202Z","submitted_at":"2026-05-06T09:55:36Z","title":"UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-08T15:36:38.153161Z"},"links":{"cited_paper":"/paper/2504.19959","citing_paper":"/paper/2605.04704"},"observation_digest":"sha256:a628813bcc538880ed851e45451e78817a343f0ccb349fad2757a01b94c7fc3c","observation_id":"335e99cf-718e-499a-b44e-98270021a0e9","resolution":{"observed_at":"2026-05-11T18:31:13.599202Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2504.19959/citation-record","integrity":"/paper/2504.19959/integrity","json":"/paper/2504.19959/citation-record.json","paper":"/paper/2504.19959"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Are we there yet? a study on the state of high-level synthesis","venue":null,"work_id":"f00dbbdf-4b67-48f9-a961-b25bcde8f336","year":2018},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:2aaa1596fd6e19ffc94346d91c2b4a9a5ba8d5454dec2682785a9728056e27cb","observation_id":"3909489d-f3be-4a92-8b64-c2c4c0b0a396","resolution":{"observed_at":"2026-05-22T18:01:54.943884Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Closing the verification gap with static sign-off","venue":null,"work_id":"849c2a59-fb13-4443-bc65-a623b775dbd3","year":2019},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:a5f9e834cf204efaddf40233f680a066f0b7f56a89deb8a5e622765cd39ca97c","observation_id":"1bd280aa-a63c-4646-8d2a-2d8493a6af99","resolution":{"observed_at":"2026-05-22T18:01:54.941990Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"High performance machine learning models for functional verification of hardware designs","venue":null,"work_id":"d7f93c64-952e-49cf-b5b6-c7bbefc65622","year":2021},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:d27932a3bbe45d413999ac80d5795581fd8206a6a93ac615e7e222ab8cbb57d7","observation_id":"60f59ef3-fe97-404e-8152-54fc8078c3d7","resolution":{"observed_at":"2026-05-22T18:01:54.940029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Coverage fulfillment automation in hard- ware functional verification using genetic algorithms","venue":null,"work_id":"8f612593-ae6c-4934-b23b-2fa474509e09","year":2022},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:dca808c55c59fd7d87549ea93bd006440cde4d1aa941304582d58bfce74c6a23","observation_id":"11f8d4df-a3cc-48d8-8418-b2f24b536177","resolution":{"observed_at":"2026-05-22T18:01:54.937033Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Machine learning in the service of hardware functional verification","venue":null,"work_id":"4cd53855-1e5f-4d3a-bd7e-96069a1385e5","year":2022},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:99aa1b3a9067c08a022dae38ad61f3f0ba9a13edb4e6f9d25461aab6544b6bf3","observation_id":"a9189d4e-50d0-45f0-a73d-56121e7a8269","resolution":{"observed_at":"2026-05-22T18:01:54.898682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"24b5d47f-4ca7-4a30-81bc-6f26092b847d","year":2011},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:2f108976122daec8e3830793b354934e5ff7c93bdb43d6988573615010ecd35f","observation_id":"8ec01064-eeca-457b-8a3d-a5b6532c55db","resolution":{"observed_at":"2026-05-22T18:01:54.889439Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Harris and D","venue":null,"work_id":"8c5fd349-cf43-4958-a4bf-65c5088057bf","year":2021},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:aa722e4aabbf14cbe565669d7464537f761db2a2c11a850bb9198c4855b88db1","observation_id":"4218459e-88ed-476d-a49e-c41c74984cf7","resolution":{"observed_at":"2026-05-22T18:01:54.884835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A uvm-based smart functional verification platform: Concepts, pros, cons, and opportunities","venue":null,"work_id":"49d4eac8-0e3d-48c2-a1ec-27d3740823fa","year":2014},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:4e5f64a3c28a481dc744d79a4f5ae74fdaf4fbe0e0bc697fbadf19f9dd409672","observation_id":"de3ad287-8bc6-48ad-87ba-e9b537692808","resolution":{"observed_at":"2026-05-22T18:01:54.956473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Pragmatic approaches to implement self-checking mechanism in uvm based testbench","venue":null,"work_id":"a00f4950-6bcd-45ae-b608-424f1baccedf","year":2015},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:fd1c8504035329b251ea8e4a2adce09b5d6da829264b3f9f137d44dc65493482","observation_id":"fe1f595d-bf4c-4e3e-8942-f00b372c35ec","resolution":{"observed_at":"2026-05-22T18:01:54.954358Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Uvm based testbench architecture for coverage driven functional verification of spi protocol","venue":null,"work_id":"aa555896-d656-4857-89a4-225b35b770a6","year":2018},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:683097cdeb68ca88221b6bedab65aab42d4c3b0d681f6871e0b46bbf168b8384","observation_id":"e4a2aa0c-77bd-4c97-b016-c8e05e71338d","resolution":{"observed_at":"2026-05-22T18:01:54.947804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Beyond uvm for practical soc verification","venue":null,"work_id":"866a7e9b-3b6f-452c-9bfd-a52f5106c88a","year":2011},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:d5afaf5be36cd3b864e0f59ed5f5d77bdb1538df651216a406bc314e4ea59a17","observation_id":"3534204f-7c93-44e9-99b3-2936bedcec59","resolution":{"observed_at":"2026-05-22T18:01:54.945789Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Simplified stimuli generation for scenario and assertion based verification","venue":null,"work_id":"5fb9f9d8-2c3e-4f7c-9c3f-2fddcbc03e4d","year":2014},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:6b04d1427f9df32e0230adca5d1b78fc2a51b26d7cc16a9a0904d91ead2cbdda","observation_id":"d462db32-8814-40cd-a12d-0e8c7c724b5c","resolution":{"observed_at":"2026-05-22T18:01:54.934877Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Uvm-based verification of ecc module for flash memories","venue":null,"work_id":"2317bed7-578a-48ef-913c-a72cb80023fb","year":2017},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:bdfa47b36c77a831826b2dff32526466a3ba5e65a4980767f4df548de1bae830","observation_id":"923089b4-781e-48d4-9766-3519629c4ca3","resolution":{"observed_at":"2026-05-22T18:01:54.932835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Portable stimulus driven systemverilog/uvm verification environment for the verification of a high-capacity ethernet communication endpoint","venue":null,"work_id":"c4b879e2-a92b-410a-b384-70cc0c6c9861","year":2018},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:5690956bff1e4247b144572199f3b32d12171f137c44879a8fff31e26b12a313","observation_id":"fca70ca9-a9d0-495d-862a-5d958bfbdf79","resolution":{"observed_at":"2026-05-22T18:01:54.930826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"If systemverilog is so good, why do we need the uvm? sharing responsibilities between libraries and the core language","venue":null,"work_id":"c042ef49-784f-4020-b6f5-2f610d865229","year":2013},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:d93f7efda8bb486bdcf82e860dd164e1219088f67d0aee243e28fd21a3cdc5dc","observation_id":"56d7ad37-841b-4086-a41d-22097993bf77","resolution":{"observed_at":"2026-05-22T18:01:54.893714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Uvm based testbench architecture for unit verification","venue":null,"work_id":"2fcd0f1f-5377-45a0-87c7-7c18daac1096","year":2014},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:ad9490c8b422cb8553d486e56c803b579469f4bd82e1aa6838e02d46176f2a9f","observation_id":"faf874bd-0b39-42a4-802f-308d9cc9e7b1","resolution":{"observed_at":"2026-05-22T18:01:54.928615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Case study: Uvm-fie: Enhancing uvm-based fault injection library for complex designs","venue":null,"work_id":"67b4d6d9-2ed1-45d3-8837-3df413080534","year":2025},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:bfbb3966cfc6d158d996307988b0f75d51640e09b5b6a3509c8a32ff22b6d45f","observation_id":"88bed45a-54be-49ca-aec4-eda5fb2f0697","resolution":{"observed_at":"2026-05-22T18:01:54.926539Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Uvm based testbench architecture for logic sub-system verification","venue":null,"work_id":"d43c406a-59ba-4d6b-b0f6-1d75a9d9f32b","year":2017},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:f74d5ca69c51e2bfcf3e7b40b66a76ff234a90021627887ed5e45bfc6fd67769","observation_id":"98af7612-9674-488a-824e-bf87982966ba","resolution":{"observed_at":"2026-05-22T18:01:54.924506Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Design and verification process of combinational adder using uvm methodology","venue":null,"work_id":"eeceb05b-e859-435c-92ec-79fffbe53126","year":2023},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:59e144938cac47b0671e3c535f403bc50bda369985d9bb5bc958f994b3a0f9d8","observation_id":"d9e5bf77-1a08-452e-8857-b785b21dbec9","resolution":{"observed_at":"2026-05-22T18:01:54.950085Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Robust serial driver verification through uvm framework","venue":null,"work_id":"97d10d46-3705-4db5-a033-ccb61a93671a","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:d24487ebeaefe4f5ef1901797076ef84190d35ddb3e31f37d4502758e2bac1eb","observation_id":"ed501649-3b77-4993-8081-cf86aa66d5e4","resolution":{"observed_at":"2026-05-22T18:01:54.922509Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Modified condition decision coverage: A hardware verification perspective","venue":null,"work_id":"1644cee9-6a81-451b-94c0-b4ea5ed421df","year":2013},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:a7377f8967c7f37f20f1c69b859208c79ed08ddcf358eee086b577322133d851","observation_id":"5388d4d3-d3c5-4b7d-b1b1-c1e003556a3f","resolution":{"observed_at":"2026-05-22T18:01:54.920516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"An uvm-based verification platform for hardware and software co-design","venue":null,"work_id":"50785080-617d-491a-8348-735032cb5e87","year":2023},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:f5b79672443231fdb8ad45820170a7a9dd8b52644b6d49478895427d3b12633e","observation_id":"3d98d286-22d1-49f3-be02-02b77eff6f00","resolution":{"observed_at":"2026-05-22T18:01:54.917979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Uvm methodology: Industry-specific applications in modern hardware verification","venue":null,"work_id":"33ab17e4-02d9-4474-a7bd-92ab4ffa762c","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:a7c91e19317c6d0440e82e4bc0390fe16d12c54bda32cb22d843a602f6385e60","observation_id":"c482cbeb-be2f-49a6-88a6-cab0020db46c","resolution":{"observed_at":"2026-05-22T18:01:54.952161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.00708","last_updated":"2023-07-28T02:57:14Z","snapshot_observed_at":"2026-07-06T16:01:22.379561Z","submitted_at":"2023-07-28T02:57:14Z","title":"VeriGen: A Large Language Model for Verilog Code Generation","version":1},"cited_work":{"arxiv_id":"2308.00708","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2308.00708","snapshot_observed_at":"2026-07-01T18:45:58.323304Z","title":"Verigen: A large language model for verilog code generation","venue":null,"work_id":"f92be09a-03b3-4895-b274-de11e4cbb031","year":2023},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2308.00708","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:c0944b090bc662f37afeca5ed50c255c0fb9bc444f3e46009e8286a8c63e74df","observation_id":"6d45cf80-f53d-4258-b6a2-216737f0f3f4","resolution":{"observed_at":"2026-05-22T18:01:54.476323Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.13243","last_updated":"2023-11-14T05:10:51Z","snapshot_observed_at":"2026-07-06T15:30:49.735343Z","submitted_at":"2023-05-22T17:13:33Z","title":"Chip-Chat: Challenges and Opportunities in Conversational Hardware Design","version":2},"cited_work":{"arxiv_id":"2305.13243","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2305.13243","snapshot_observed_at":"2026-07-02T07:06:44.141513Z","title":"Chip-chat: Challenges and opportunities in conversational hardware design","venue":null,"work_id":"522bde38-5ee7-43c9-8c06-5a40f4201cd2","year":2023},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2305.13243","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:977d41425efe1df44ab28060d7849d9cba2ccaa0991f825c73bd7bc6ebe77a59","observation_id":"bfc68266-c308-4c00-8757-078a64ec0804","resolution":{"observed_at":"2026-05-22T18:01:54.486705Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.16543","last_updated":"2024-05-20T19:50:06Z","snapshot_observed_at":"2026-08-04T21:40:37.585486Z","submitted_at":"2023-11-28T06:18:54Z","title":"RTLFixer: Automatically Fixing RTL Syntax Errors with Large Language Models","version":3},"cited_work":{"arxiv_id":"2311.16543","doi":"10.48550/arxiv.2311.16543","metadata_source":"pith","pith_arxiv_id":"2311.16543","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Rtlfixer: Automatically fixing rtl syntax errors with large language models","venue":"cs.AR","work_id":"2aadd781-e28b-46da-912b-0aea47256981","year":2023},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2311.16543","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:d7400c42cc652e756667893eaaf7710e438aeede6cc1dd325d1f22445e226b01","observation_id":"b82258e1-9bd3-4faf-a718-eee7ef5ae0f2","resolution":{"observed_at":"2026-05-22T18:01:54.446923Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.01215","last_updated":"2023-02-02T16:51:28Z","snapshot_observed_at":"2026-08-02T19:13:36.473837Z","submitted_at":"2023-02-02T16:51:28Z","title":"Fixing Hardware Security Bugs with Large Language Models","version":1},"cited_work":{"arxiv_id":"2302.01215","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2302.01215","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Fixing hardware security bugs with large language models","venue":null,"work_id":"e1f95938-1224-4204-9c00-bf9a69b0f9bc","year":2023},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2302.01215","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:e6fe82d421ce354fc04871b32c3ee3a113280c33bd893367b45c905ec7819667","observation_id":"c3169c8c-49fb-4951-a3bf-10d4bf06420a","resolution":{"observed_at":"2026-05-22T18:01:54.482738Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Llm4sechw: Leveraging domain-specific large language model for hardware debug- ging","venue":null,"work_id":"35708820-b40d-45f0-8650-76e09c88f14c","year":2023},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:0421f6738faf42c7d6d5e431e8ff559e81c3e22038f0c46b8fdde87f24aa12a6","observation_id":"4c46016b-f0ac-4d94-93db-b4f87462bdd4","resolution":{"observed_at":"2026-05-22T18:01:54.915631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.03289","last_updated":"2024-02-05T18:47:04Z","snapshot_observed_at":"2026-08-01T16:01:15.105248Z","submitted_at":"2024-02-05T18:47:04Z","title":"Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS","version":1},"cited_work":{"arxiv_id":"2402.03289","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.03289","snapshot_observed_at":"2026-07-02T11:26:54.350822Z","title":"Make every move count: Llm-based high-quality rtl code generation using mcts","venue":null,"work_id":"28ddd88c-580e-439d-bcd1-9ee7e00adc1f","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2402.03289","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:f430efb7869964822f3875c6e0b8b89034d6f1f17e3c9f6974f8fa5147e8f43e","observation_id":"369601cc-f9c9-47ce-a1f6-1b54753b72e8","resolution":{"observed_at":"2026-05-22T18:01:54.473377Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Domain- adapted llms for vlsi design and verification: A case study on formal verification","venue":null,"work_id":"41236827-bd37-423a-b556-e768def9e9b1","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:fdefa5b027491c34a39df4cc82e768b4d7dc0d36967544acb31b1688260bb05b","observation_id":"156bab64-1182-4a52-a19c-45d83be87f5a","resolution":{"observed_at":"2026-05-22T18:01:54.913500Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.11671","last_updated":"2024-03-18T11:19:37Z","snapshot_observed_at":"2026-08-03T23:45:53.300961Z","submitted_at":"2024-03-18T11:19:37Z","title":"HDLdebugger: Streamlining HDL debugging with Large Language Models","version":1},"cited_work":{"arxiv_id":"2403.11671","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2403.11671","snapshot_observed_at":"2026-06-29T18:53:51.249643Z","title":"Hdldebugger: Streamlining hdl debugging with large language models","venue":null,"work_id":"60a35b75-2b99-496d-a2a3-0396927f0b88","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2403.11671","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:f14b09ffcf3009d58536e8cfe10bbe140fd31d88ad7dab13f37a9d9527d1b3d0","observation_id":"8aa321b0-182e-4229-be0a-99dba0eb4ebf","resolution":{"observed_at":"2026-05-22T18:01:54.489794Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2402.00386","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-01T16:25:49.879777Z","title":"Assertllm: Generating and evaluating hardware verification assertions from design specifications via multi-llms","venue":null,"work_id":"2eeddf46-48f2-461c-b0d2-c3a82c444cf3","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:0f1e78aef7647e8d5df20c42d2c084ecb76a18b86deb70192dc5138e3265ae07","observation_id":"765fa4e1-9812-49c7-8bbb-de0682a330ba","resolution":{"observed_at":"2026-05-22T18:01:54.453650Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.15186","last_updated":"2024-09-29T07:35:24Z","snapshot_observed_at":"2026-07-06T19:20:32.349889Z","submitted_at":"2024-09-23T16:38:53Z","title":"Location is Key: Leveraging Large Language Model for Functional Bug Localization in Verilog","version":2},"cited_work":{"arxiv_id":"2409.15186","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2409.15186","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Location is key: Leveraging large language model for functional bug localization in verilog","venue":null,"work_id":"8517beaf-e650-4b80-8ab9-ec1e316ec744","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2409.15186","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:1f2d117fb418715bec2283264e71051082335eb6e23903053f48d1b30447e1c8","observation_id":"6d52afbf-bd06-44e6-acb6-0dda80b6d223","resolution":{"observed_at":"2026-05-22T18:01:54.479547Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.04057","last_updated":"2025-03-06T03:17:48Z","snapshot_observed_at":"2026-07-06T20:47:37.495143Z","submitted_at":"2025-03-06T03:17:48Z","title":"Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design","version":1},"cited_work":{"arxiv_id":"2503.04057","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.04057","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Insights from rights and wrongs: A large language model for solving assertion failures in rtl design","venue":null,"work_id":"efc8abbe-e08b-457b-89b0-937b82ef3feb","year":2025},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2503.04057","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:a0e9a258412e91c1255ad88e2ec2601aec8927b17ad8d2727df3b16915b633e3","observation_id":"33b37b81-9c71-495c-8a62-1f0aaa3fae61","resolution":{"observed_at":"2026-05-22T18:01:54.450192Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6536.367680","doi":"10.1145/3676536.3676801","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Meic: Re-thinking rtl debug automation using llms","venue":null,"work_id":"a3e2c2a0-95c5-4d7b-bdd6-610b7a92e7cd","year":2025},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:e0a63994759c5a2f620f65b8a2e162ab2e561c16938c31a75ee079f8cb08c10e","observation_id":"a987f742-2c39-4d74-a37c-382129b20ca1","resolution":{"observed_at":"2026-05-22T18:01:54.147620Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T06:49:05.159854+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T06:49:05.159854+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.16238","last_updated":"2024-11-25T09:53:35Z","snapshot_observed_at":"2026-08-02T04:58:07.813974Z","submitted_at":"2024-11-25T09:53:35Z","title":"UVLLM: An Automated Universal RTL Verification Framework using LLMs","version":1},"cited_work":{"arxiv_id":"2411.16238","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.16238","snapshot_observed_at":"2026-07-03T03:37:35.786682Z","title":"Uvllm: An automated universal rtl verification framework using llms","venue":null,"work_id":"76da9660-1282-4f43-aafa-841bdf46ae16","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2411.16238","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:4a47454e300f4ce6a00b11e2d4348561aa363ccf2bebd731e0c0a6df4c1ac197","observation_id":"e1be1a23-3e27-4bd0-bec1-2e349456e72e","resolution":{"observed_at":"2026-05-22T18:01:54.457392Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.11382","last_updated":"2023-02-21T12:42:44Z","snapshot_observed_at":"2026-07-06T14:54:37.559648Z","submitted_at":"2023-02-21T12:42:44Z","title":"A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT","version":1},"cited_work":{"arxiv_id":"2302.11382","doi":"10.48550/arxiv.2302.11382","metadata_source":"pith","pith_arxiv_id":"2302.11382","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT","venue":"cs.SE","work_id":"8f6fdff2-0836-4403-b48b-be708927acc3","year":2023},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2302.11382","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:5eaa91f320eacd01f6e9a4eadd6ae5dd5214d0763ecbe530025df770114d0df5","observation_id":"5ecc2230-ec03-4caa-a5cc-f98998473496","resolution":{"observed_at":"2026-05-22T18:01:54.460531Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-24T00:53:36.117531+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T00:53:36.117531+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Verilogeval: Evaluating large language models for verilog code generation","venue":null,"work_id":"0dd4df9f-29d8-4ed1-a654-c4c517df8aae","year":2023},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:29c5bb7e9972615c300d315e9d9a881a8527216d886f3ed80edb91e6684d3fcf","observation_id":"d689e41f-ed77-48f7-a863-1812bd5b0078","resolution":{"observed_at":"2026-05-22T18:01:54.911026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2305.14019","doi":"10.48550/arxiv.2305.14019","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Chipgpt: How far are we from natural language hardware design","venue":"arXiv (Cornell University)","work_id":"ea22f726-6b4f-4390-980b-33a05f5a8025","year":2023},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:2dde93546327dedf1ae4d009af77624537172d6313abfb78e338398236a0d8bc","observation_id":"74faf284-3b79-4dfb-a792-0fb62a255abc","resolution":{"observed_at":"2026-05-22T18:01:54.493475Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.07927","last_updated":"2025-03-16T06:23:34Z","snapshot_observed_at":"2026-08-05T17:55:26.008016Z","submitted_at":"2024-02-05T19:49:13Z","title":"A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications","version":2},"cited_work":{"arxiv_id":"2402.07927","doi":"10.1145/3658644.3670388","metadata_source":"pith","pith_arxiv_id":"2402.07927","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications","venue":"cs.AI","work_id":"83d5f1d1-b40d-49c8-9770-6c57bed8a8b8","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2402.07927","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:3a276338088aea0e6622107fc45a7bf36aa1d8cdcf32032333840267d8302d9e","observation_id":"76638ebc-c188-48c9-801e-81807ec4bb4a","resolution":{"observed_at":"2026-05-22T18:01:54.463560Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Hallucinations in llms: Understanding and addressing challenges","venue":null,"work_id":"5a85e52d-e681-49cd-9be9-e5242826a8bc","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:b3a05202f1c35c9a055b9dc2afcc8511fba260ba1f622a5d25af7de306718891","observation_id":"4b348100-c09d-48ab-8796-322cda27f121","resolution":{"observed_at":"2026-05-22T18:01:54.907034Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Hallucinations in large language models (llms)","venue":null,"work_id":"f5d7f797-c8b5-46d2-a04d-29288b80f6b4","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:c6780db0559b90ee757189a6eb22e5ad754fdbe869a232aa90422f99ff9a38fe","observation_id":"8d539a6c-2689-499d-8c9a-2100dbc912cb","resolution":{"observed_at":"2026-05-22T18:01:54.903044Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.01313","last_updated":"2024-01-08T16:19:17Z","snapshot_observed_at":"2026-07-06T17:10:56.398607Z","submitted_at":"2024-01-02T17:56:30Z","title":"A Comprehensive Survey of Hallucination Mitigation Techniques in Large Language Models","version":3},"cited_work":{"arxiv_id":"2401.01313","doi":"10.48550/arxiv.2401.01313","metadata_source":"pith","pith_arxiv_id":"2401.01313","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A Comprehensive Survey of Hallucination Mitigation Techniques in Large Language Models","venue":"cs.CL","work_id":"e402e6ab-d714-4f4d-a865-0ac91b5ca92d","year":2024},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2401.01313","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:d3509074fc85a26a3c1adc5b22d39d84409288952b18a54a88301d5dba927cf6","observation_id":"1f844aa4-7458-42bc-b6d6-ce3982664f74","resolution":{"observed_at":"2026-05-22T18:01:54.466854Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-20T09:57:43.198793+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T09:57:43.198793+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.05345","last_updated":"2023-11-11T07:53:10Z","snapshot_observed_at":"2026-07-06T16:04:42.791957Z","submitted_at":"2023-08-10T05:24:41Z","title":"RTLLM: An Open-Source Benchmark for Design RTL Generation with Large Language Model","version":3},"cited_work":{"arxiv_id":"2308.05345","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2308.05345","snapshot_observed_at":"2026-07-03T19:08:49.829179Z","title":"Rtllm: An open-source benchmark for design rtl generation with large language model","venue":null,"work_id":"de8ed42d-9a87-462c-bd0e-9f697436138e","year":2023},"citing_paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","version":4},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-22T17:58:45.319714Z"},"links":{"cited_paper":"/paper/2308.05345","citing_paper":"/paper/2504.19959"},"observation_digest":"sha256:ca0e205586a222ee61eb4dbc24fc1662bb2df5965ebe9e41860de7e5d6adecdb","observation_id":"c76af563-6072-4a2a-80f2-724bee73e467","resolution":{"observed_at":"2026-05-22T18:01:54.470242Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.19959","last_updated":"2026-04-07T03:41:33Z","latest_version":4,"primary_category":"cs.AR","snapshot_observed_at":"2026-07-06T21:15:54.445465Z","submitted_at":"2025-04-28T16:33:08Z","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":16,"verified_fuzzy":27},"total_outbound_references":44},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 5 inbound Pith citation observations for arXiv:2504.19959."}