{"as_of":"2026-08-18T05:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3371693e94c1ae68268f3cdc3e9e36deef9e14bdbba580b1c8cfa819d2871cc7","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T04:43:01.858901Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.12684/citation-record","integrity":"/paper/2608.12684/integrity","json":"/paper/2608.12684/citation-record.json","paper":"/paper/2608.12684"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.716943Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.716943Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:f08d8ddd9773c660cfbfd37534c3b853495d918fb38e4cd8d3f2f048cf4d98c5","observation_id":"7757d238-b95c-423f-a8f8-b8b813d32da0","resolution":{"observed_at":"2026-08-16T04:43:01.716943Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.635882Z","title":null,"venue":null,"work_id":"356a80fe-29dc-4dcd-badd-383a8a408e7e","year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.720417Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:ecae2e7c47e04ec032a848bc87c2eff1c357b5afb85e4862ddf1429340c2ead0","observation_id":"1e34d6e2-136f-4c34-a08b-1dcc651c11aa","resolution":{"observed_at":"2026-08-16T04:43:02.638802Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.723245Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.723245Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:d86e398361b5b9f9203bc8517f97cb3b19674855bda1a8e0839ed1cc864ae62c","observation_id":"aca5972f-d910-40ae-a4e8-7aff11806784","resolution":{"observed_at":"2026-08-16T04:43:01.723245Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.620574Z","title":null,"venue":null,"work_id":"492cc666-9a75-4076-b61f-ebe66f4cdc47","year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.726507Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:3fa53da87c849cc725bac760c6dbfd541b40c2a68fe516abc4ae880f6aa2d4be","observation_id":"51b2c4d1-43ec-45c1-abb6-9ca048c28f15","resolution":{"observed_at":"2026-08-16T04:43:02.624075Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.729362Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.729362Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:0069eddbeb4e95ab4d2671d1bb3e840f8dca3ec387bd16888d1e237619499bbe","observation_id":"f292bbb0-3cb6-4d79-b09c-548e992272e5","resolution":{"observed_at":"2026-08-16T04:43:01.729362Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.732388Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.732388Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:90c79fa149b601fa9ef227049ce1bd51f9338b2edea450aeb2542b9cecd2d65d","observation_id":"322be0b9-4485-469c-b736-babe55addc6b","resolution":{"observed_at":"2026-08-16T04:43:01.732388Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.599499Z","title":null,"venue":null,"work_id":"d67ec387-df67-463a-9448-deed9b89925f","year":2003},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.735444Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:19485c8f2718304f7403529ee1cb4a2151e6a29f2a6d518dbebb9d131bc7ba8f","observation_id":"0954042a-dea8-46bb-a255-3d407b489292","resolution":{"observed_at":"2026-08-16T04:43:02.602771Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.738332Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.738332Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:f02af9f2c0ebdd3df4d0776c417c997a0e79c87b0ca63304e2a1c1f85883b4c6","observation_id":"18df2316-05bd-44a4-9096-7e84080d6dcb","resolution":{"observed_at":"2026-08-16T04:43:01.738332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.583224Z","title":null,"venue":null,"work_id":"2b819cae-ace6-4567-9eae-f81fef138f5b","year":2024},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.741016Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:4744aabc88c62ca47681433df8fcc775b859e139b19561cbbf752fe515b4918f","observation_id":"e2f75d1b-f0f3-4140-9c91-ed1ebf3c8c18","resolution":{"observed_at":"2026-08-16T04:43:02.586733Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.13156","last_updated":"2025-06-26T13:32:25Z","snapshot_observed_at":"2026-08-15T13:37:38.455829Z","submitted_at":"2025-06-26T13:32:25Z","title":"EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code","version":1},"cited_work":{"arxiv_id":"2508.13156","doi":null,"metadata_source":"pith","pith_arxiv_id":"2508.13156","snapshot_observed_at":"2026-08-16T04:43:02.301161Z","title":"EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code","venue":"cs.AR","work_id":"8c4042d5-0a7d-4a34-8ea5-225bca7c2f31","year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.743644Z"},"links":{"cited_paper":"/paper/2508.13156","citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:f7413784245cb5d92c1e3edea39905e941ccf0be6391a2dd5d57702b0258ad1f","observation_id":"4b85da2b-6e28-4e96-96f5-46cbeb1b48aa","resolution":{"observed_at":"2026-08-16T04:43:02.306434Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T04:43:02.573287Z","title":null,"venue":null,"work_id":"4da084d0-d42c-4bea-aa51-f0ce421f0bee","year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.746646Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:3f3e6896e6ea2c985518e2e9102d1c61d9c05317120cca54ceba3c4421faa1ea","observation_id":"97eb9fd6-9582-451c-a9bc-b8da4d67e539","resolution":{"observed_at":"2026-08-16T04:43:02.576765Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06770","last_updated":"2024-11-11T23:05:04Z","snapshot_observed_at":"2026-08-12T14:56:35.025839Z","submitted_at":"2023-10-10T16:47:29Z","title":"SWE-bench: Can Language Models Resolve Real-World GitHub Issues?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06770","snapshot_observed_at":"2026-08-16T04:43:01.750273Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.750273Z"},"links":{"cited_paper":"/paper/2310.06770","citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:7d1c3fa3105c5654e3367ff452a6532db44777d4300d9c34a8cd4f890b10871c","observation_id":"b0d95833-1e2d-44be-b850-624c37d4d295","resolution":{"observed_at":"2026-08-16T04:43:01.750273Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.16200","last_updated":"2025-07-22T03:29:23Z","snapshot_observed_at":"2026-08-17T16:25:09.865664Z","submitted_at":"2025-07-22T03:29:23Z","title":"RealBench: Benchmarking Verilog Generation Models with Real-World IP Designs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.16200","snapshot_observed_at":"2026-08-16T04:43:01.753414Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.753414Z"},"links":{"cited_paper":"/paper/2507.16200","citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:9ddd7fc7292b870790cac3a6a3b1ce682883e60f1811c6bb96ad494c2cca3df4","observation_id":"e9a05586-51c2-4ee2-a828-2931738abaa1","resolution":{"observed_at":"2026-08-16T04:43:01.753414Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.756920Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.756920Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:700f248bdde1526a8035178b9d25d5f022d8bdf64db687353e4c8bf2c6b209a2","observation_id":"ca1e6bda-ba4f-458e-8fd0-4cea48494013","resolution":{"observed_at":"2026-08-16T04:43:01.756920Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.759602Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.759602Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:928a62d083fe17a6d65d197ae45b772aeffb2ec066f57310e0fff5095d08f03b","observation_id":"fb11dd7f-c7c6-411e-97bf-8d81b15d7f0c","resolution":{"observed_at":"2026-08-16T04:43:01.759602Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.08738","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.263909Z","title":null,"venue":null,"work_id":"1dd108ca-74ba-44b6-b71e-33c74e803d64","year":2026},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.762455Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:1d306b5b96a7595d0d8f17bdfbda750be737e02ebe14d9a10dd1526c78cea958","observation_id":"4d6dbf16-f81d-4811-a9cb-a916fba5b6ad","resolution":{"observed_at":"2026-08-16T04:43:02.270048Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.765095Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.765095Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:176cd2eaebd6215e1974812129d732169c44d9eae4938092afa9a154f5d61bdf","observation_id":"da7b835c-7444-46ea-9773-7791cb5bd700","resolution":{"observed_at":"2026-08-16T04:43:01.765095Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.545582Z","title":null,"venue":null,"work_id":"30287ba2-5ed2-46b1-a346-9deaac09a2b2","year":2023},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.768262Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:ac08d5d3b89a37ee5680610d4dbe6b7642fb1a397d242daca30f8339286da8e5","observation_id":"32c5c485-006c-495c-9614-d3761e048b53","resolution":{"observed_at":"2026-08-16T04:43:02.549148Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T04:43:02.535376Z","title":null,"venue":null,"work_id":"4f6aa8b5-5c08-4978-acfe-8d7f6ad23a17","year":null},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.771417Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:f26a2987ea8e10aa66a627504ec8fb7e9df3a0c4fb2db9a93aea8b6e28f8f294","observation_id":"a045d9c4-6590-4cb4-8efd-6d0c08b65b8b","resolution":{"observed_at":"2026-08-16T04:43:02.539099Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.778732Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.778732Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:5b20770d62a8105e614d0969fc5cca84f4f322a13dcd2e7e97f7e1a591c0ba60","observation_id":"0bba4e7d-081c-43af-a019-9550d94feee1","resolution":{"observed_at":"2026-08-16T04:43:01.778732Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.510064Z","title":null,"venue":null,"work_id":"eb0b26bf-7c0c-48fa-bda6-4a27f6d1e53e","year":2024},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.782142Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:e6ed02e487fa06c902d181fd63e2435476f9c05b7ad07231222f9c831f5bedba","observation_id":"d3fd53a2-cd57-498e-96da-b4b9d4bcbc19","resolution":{"observed_at":"2026-08-16T04:43:02.513178Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.785334Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.785334Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:6f12b25cb3c2e138342d3ab6904837021e78c4ad863eacc53e303d2014dcc6cf","observation_id":"63200024-f199-4f1a-bb23-79fb0c9537b5","resolution":{"observed_at":"2026-08-16T04:43:01.785334Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.788745Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.788745Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:14e6a7c828e686cf99aa6cf267a738d18928e9702c7f41233cb3599878e6e3ad","observation_id":"6c019e29-8b17-4656-a351-a8f02cbb652a","resolution":{"observed_at":"2026-08-16T04:43:01.788745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.791973Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.791973Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:d6bf4e243875976be2c5f980f3c759af11ef36ce1af6ad0669a025de5396bcb9","observation_id":"e5e5bf68-d80c-44d0-ab0c-efc712ae4b3a","resolution":{"observed_at":"2026-08-16T04:43:01.791973Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.475364Z","title":null,"venue":null,"work_id":"66afce22-ff67-43be-99b9-8fe3b14307fd","year":2017},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.798406Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:14f508495b42fbad800a066ac2946734e1940f2056bf7752629ee6dbf72b446d","observation_id":"c81a9dcb-8fde-478f-92fd-8b902a5b24ad","resolution":{"observed_at":"2026-08-16T04:43:02.478673Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T04:43:02.465970Z","title":null,"venue":null,"work_id":"a124eeb7-a89f-4477-a744-2887ba510d02","year":2024},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.802095Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:881482e26b85666e6fd3405fe51789e28c56087405e242fbcccd77af39730d03","observation_id":"47008bd8-4f11-42ca-aba6-48fe0dea1736","resolution":{"observed_at":"2026-08-16T04:43:02.468841Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T04:43:02.456059Z","title":null,"venue":null,"work_id":"f394339a-abf1-431d-a106-c254984a0a9c","year":2024},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.805161Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:9eb31eacc0b0d76c8977ce3d35983be603e16c60197f81f0b939f4f10b25256f","observation_id":"06ac1ffa-7313-471d-aa60-19de1c427ff2","resolution":{"observed_at":"2026-08-16T04:43:02.459593Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.808483Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.808483Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:111a77d952e871b77db1533de217830bf30eb963473ff7a93d2489317e5299a7","observation_id":"d29ec7ea-d6ba-43a8-bcd9-588995094cab","resolution":{"observed_at":"2026-08-16T04:43:01.808483Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.811718Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.811718Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:9507d9290cbcd0e23057c4dc4a4107be701ebb544e565a81929f309ca966e5f4","observation_id":"dcedb384-00c4-4e92-a6d8-48dd003bc53c","resolution":{"observed_at":"2026-08-16T04:43:01.811718Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.14776","last_updated":"2025-07-20T00:28:55Z","snapshot_observed_at":"2026-08-14T09:41:16.336800Z","submitted_at":"2025-07-20T00:28:55Z","title":"VeriOpt: PPA-Aware High-Quality Verilog Generation via Multi-Role LLMs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.14776","snapshot_observed_at":"2026-08-16T04:43:01.814699Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.814699Z"},"links":{"cited_paper":"/paper/2507.14776","citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:e396c9b603a76da58852619103975c7e127e099a0251e2c0b1114ad62defc71c","observation_id":"220b5bf0-393e-4b57-b5b9-9139c1393912","resolution":{"observed_at":"2026-08-16T04:43:01.814699Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2512.18470","last_updated":"2026-04-04T09:52:04Z","snapshot_observed_at":"2026-07-30T13:30:43.108201Z","submitted_at":"2025-12-20T19:08:15Z","title":"SWE-EVO: Benchmarking Coding Agents in Long-Horizon Software Evolution Scenarios","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2512.18470","snapshot_observed_at":"2026-08-16T04:43:01.818488Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.818488Z"},"links":{"cited_paper":"/paper/2512.18470","citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:11f22b34005f0ecee879da6e9e7f846b26c8f24e6c110486af514f6275318c92","observation_id":"ddf79022-457f-434d-8749-6bc08d46d893","resolution":{"observed_at":"2026-08-16T04:43:01.818488Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.445258Z","title":null,"venue":null,"work_id":"c661b0a0-ed32-43e4-a84b-7e8de5c08314","year":2024},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.822036Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:ff9662148ddc990cfdf8777bd72e7dfc2adaa4c985d508552940be12e18cad3b","observation_id":"b4c27e83-18ad-44b1-bafe-dcf66cc22e95","resolution":{"observed_at":"2026-08-16T04:43:02.449011Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T04:43:02.433654Z","title":null,"venue":null,"work_id":"ff31f699-818c-474c-9122-ef8a583c6f2b","year":2023},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.824961Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:d81abf80ff8c07b5fe3a8ad5c7997c2235c430f7c1080d289658c325ebffd694","observation_id":"a4630780-06cb-4bae-9dd4-b983af36b3b6","resolution":{"observed_at":"2026-08-16T04:43:02.437619Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2017.82038","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.078906Z","title":null,"venue":null,"work_id":"b514c602-5739-4c53-a8ed-eb6649f28b43","year":2017},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.828488Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:076d2be773204c7e8b7aa1ce2aecd1cbb39f1153d9e3797620338132efcdfade","observation_id":"b1b2d65e-6b6e-4c7e-baaa-a51fccee19d1","resolution":{"observed_at":"2026-08-16T04:43:02.085167Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.11849","last_updated":"2025-05-17T05:25:01Z","snapshot_observed_at":"2026-08-18T01:59:29.912810Z","submitted_at":"2025-05-17T05:25:01Z","title":"VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.11849","snapshot_observed_at":"2026-08-16T04:43:01.831687Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.831687Z"},"links":{"cited_paper":"/paper/2505.11849","citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:a7f24899c9cd0d714b6d4193021bfc4df881d38d4353c35b9256ac15cc9bbc25","observation_id":"ae40d82e-bd46-4260-b23f-0767748904cc","resolution":{"observed_at":"2026-08-16T04:43:01.831687Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.421715Z","title":null,"venue":null,"work_id":"2cba8e7e-d782-43e0-aa6a-7f0fa3ff7c44","year":null},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.834754Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:ed06ed160b6d326005ee07cfa5fa7d00b9296091806767e5f649c6cf31ac4698","observation_id":"569c70ed-ac4e-4666-ba7b-29d32bcac8f7","resolution":{"observed_at":"2026-08-16T04:43:02.426008Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.840829Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.840829Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:79b3e4a6df91e5f347677a8c10a7235c532ecc4775190b8ac631d5ba603fc2b4","observation_id":"39965e1d-bc3d-4f6d-b839-2943d2dd797e","resolution":{"observed_at":"2026-08-16T04:43:01.840829Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.843324Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.843324Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:70946d425f07b073a0345f10f83902cf2fdff6fbafcc375ce9ea57ccc05abd4d","observation_id":"48c36dd3-54be-4b39-a972-2d0e8d9c3ac1","resolution":{"observed_at":"2026-08-16T04:43:01.843324Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.03723","last_updated":"2025-07-13T08:44:02Z","snapshot_observed_at":"2026-08-16T12:45:35.359929Z","submitted_at":"2025-03-30T15:44:22Z","title":"VFlow: Discovering Optimal Agentic Workflows for Verilog Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.03723","snapshot_observed_at":"2026-08-16T04:43:01.837839Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.837839Z"},"links":{"cited_paper":"/paper/2504.03723","citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:2d85f402b254b27c72c0ad8c7a55823bf3f0bfe9c4e9083f934f3f01e7a1bf56","observation_id":"f05263ad-147e-4b15-a3ea-602a15f86579","resolution":{"observed_at":"2026-08-16T04:43:01.837839Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.848488Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.848488Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:28b5d6279ff986d87441892272397b4eca969e3711c6ec684ee1f18d71dfde38","observation_id":"1ad7b4b7-9eab-4d36-88cb-c15e0b57a5e7","resolution":{"observed_at":"2026-08-16T04:43:01.848488Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.851307Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.851307Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:861ebd4e1b032e87190e725b3d26ad742281b95f481d6ddb2c630c0209a06ca6","observation_id":"3f71b365-6dfc-4169-8fd5-dd78bbc049a5","resolution":{"observed_at":"2026-08-16T04:43:01.851307Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.846040Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.846040Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:f5b6fe3e6cbf47b9e2fa273cdeb807a96cf3bcbec9b4f54551de44abc34051dc","observation_id":"5b6ed9a5-0496-4bcd-85ff-a5f5a3f463db","resolution":{"observed_at":"2026-08-16T04:43:01.846040Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.856141Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.856141Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:bb4df80ae523a11337d60ce14ed60ed7a8c54a668508f82b1bc65872f36b2417","observation_id":"8d522080-de7d-4482-8d82-ac6880562d63","resolution":{"observed_at":"2026-08-16T04:43:01.856141Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:01.858901Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.858901Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:2f49558851a4bbeccd3385ca2005ae57e192a3fdae1b2275bdb342f9ec18f343","observation_id":"bd2a528b-0e62-4a65-8dd5-7b7b71fbb1be","resolution":{"observed_at":"2026-08-16T04:43:01.858901Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:43:02.374211Z","title":null,"venue":null,"work_id":"985292d4-cd02-4545-a09d-e879a43e40a7","year":2025},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.853682Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:70834ff7fa54f0bc8185d1eed5dcf850cf1fd828d48771a092040d23b514ffa7","observation_id":"2223a647-ba98-4db7-b1f7-7e78021325a1","resolution":{"observed_at":"2026-08-16T04:43:02.378046Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T04:43:02.484855Z","title":"In2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","venue":null,"work_id":"de6e65eb-053e-4b18-9151-8316f54643c7","year":null},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.795133Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:8b6b5b286626e1753c70ad68fff87048dbd8b67036c59e25c26e9b1db211a23f","observation_id":"5662c953-210f-430e-95fe-4cd4f03202c9","resolution":{"observed_at":"2026-08-16T04:43:02.488218Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T04:43:02.524947Z","title":"In24th USENIX Conference on File and Storage Technologies (FAST 26)","venue":null,"work_id":"ad11d915-d876-4b75-8826-2d69bb3bbd70","year":null},"citing_paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:01.775195Z"},"links":{"citing_paper":"/paper/2608.12684"},"observation_digest":"sha256:7ba94532b79b70c4c50b57b8556b03a155426cd23063a7b2749aaf766dec11d9","observation_id":"8d3b7483-23bc-4b12-985a-c2cc7b66456a","resolution":{"observed_at":"2026-08-16T04:43:02.528720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.12684","last_updated":"2026-08-13T01:02:39Z","latest_version":1,"primary_category":"cs.AR","snapshot_observed_at":"2026-08-17T23:16:39.206188Z","submitted_at":"2026-08-13T01:02:39Z","title":"Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":42,"verified_exact":2,"verified_fuzzy":2},"total_outbound_references":47},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2608.12684."}