{"as_of":"2026-08-08T21:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2e03917c95f9ef94be93ce901d3c50b1190955b370d652df9f8dd4357808fa49","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T00:37:13.590535Z","state":"measured"},{"denominator":28,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":28,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2607.26181/citation-record","integrity":"/paper/2607.26181/integrity","json":"/paper/2607.26181/citation-record.json","paper":"/paper/2607.26181"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T00:37:10.989313Z","title":"IEEE Standard for Universal Verification Methodology Language Reference Manual.IEEE Std 1800.2-2017(2017), 1–472","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:10.989313Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:0b5a4a76d830a2d2b48fcc704bce6cbfed7a168dc0e6b54ddb70c9e562beae2b","observation_id":"d96112a6-3406-44ec-9608-65cb77263055","resolution":{"observed_at":"2026-08-01T00:37:10.989313Z","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-01T00:37:11.032226Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.032226Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:b4e258c7a1447b17fe97de25e4f99bd429bc9f8645d9da1ac3d1592868289f17","observation_id":"f119343c-0c65-4b5b-a29a-a07cc510c3c3","resolution":{"observed_at":"2026-08-01T00:37:11.032226Z","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-01T00:37:11.119352Z","title":"2003.Writing Testbenches: Functional Verification of HDL Models","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.119352Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:cb224847eb1ca27029e4b0c0b18d2676dc43c1567dda0820d715d5dd161eaf01","observation_id":"5e97918c-57ba-4964-8989-4aed572a4431","resolution":{"observed_at":"2026-08-01T00:37:11.119352Z","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-01T00:37:11.193606Z","title":"2008.SystemVerilog for Verification: A Guide to Learning the Testbench Language Features","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.193606Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:f5afbca54f56968ddf06ed900c3bf69997488ea5823697f6bee1572c17b5ba6f","observation_id":"fc0ef607-beab-41d7-b9dc-460e9105ad05","resolution":{"observed_at":"2026-08-01T00:37:11.193606Z","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-01T00:37:11.253828Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.253828Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:61f5f5553785dbe539d11d7f19a2e493717729c4e15c3c2f60ceca079b658b16","observation_id":"ca4144e8-e729-4aae-9dda-cdab98d86ea2","resolution":{"observed_at":"2026-08-01T00:37:11.253828Z","resolver_source":null,"status":"malformed_identifier"},"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-01T00:37:11.325026Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.325026Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:baca9db45ec75640c08e33c264f7ca013c0a10e6de2fb60e9de30f2ffef5a59a","observation_id":"1fef410a-46b2-423a-bea8-f4f2b1c09d92","resolution":{"observed_at":"2026-08-01T00:37:11.325026Z","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-01T00:37:11.362012Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.362012Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:f0e31f90b727c4581b31ce04d15c74508deac45aab635d291f129aa7b469173b","observation_id":"c25ae763-b95d-4f83-84a0-2a44d3224ac8","resolution":{"observed_at":"2026-08-01T00:37:11.362012Z","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-01T00:37:11.426881Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.426881Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:c75bbaa2babd97bfa4e434939d901e2e07bbc57b5f945d8738988480dbbf26c9","observation_id":"9e273058-f2bd-4bb3-abf1-705dbf4eddd4","resolution":{"observed_at":"2026-08-01T00:37:11.426881Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.07995","last_updated":"2025-05-15T03:20:15Z","snapshot_observed_at":"2026-08-07T15:47:45.182371Z","submitted_at":"2025-05-12T18:48:56Z","title":"Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.07995","snapshot_observed_at":"2026-08-01T00:37:11.496655Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.496655Z"},"links":{"cited_paper":"/paper/2505.07995","citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:145d2a6a66c560c706162a3f63370805eec77553fc2bb91e11dd3f749d1d892d","observation_id":"8a987385-b8a0-467e-856e-29ac687c7826","resolution":{"observed_at":"2026-08-01T00:37:11.496655Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-08-01T00:37:11.599274Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.599274Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:fee9be192c44962c454a292f178fd8c51ca2e2ea87e0899e4765a5ae81794e70","observation_id":"87eb6e08-e678-4bbf-8075-688d14557ae8","resolution":{"observed_at":"2026-08-01T00:37:11.599274Z","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-01T00:37:11.641610Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.641610Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:46a08fbae904239d57ed11ff8598133f6015a1f44673283e1fdeecfd2d8ca643","observation_id":"bcda3a45-25f8-492f-ac78-ae9b609722e3","resolution":{"observed_at":"2026-08-01T00:37:11.641610Z","resolver_source":null,"status":"malformed_identifier"},"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-01T00:37:11.697529Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.697529Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:c011eac1fe8d7ae2778e18b3e8b4f0cb0dbbc2cadfac6c8551d9b42ee181e7e6","observation_id":"ad0bae58-d6b2-4d3e-9563-1b8d23dd2235","resolution":{"observed_at":"2026-08-01T00:37:11.697529Z","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-01T00:37:11.776249Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.776249Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:980b22a99e222dfade06c97c8433c33569145bc4453c9d82c4267cfbe7a2154f","observation_id":"64411611-629f-453b-96d6-4b8d03ef5620","resolution":{"observed_at":"2026-08-01T00:37:11.776249Z","resolver_source":null,"status":"malformed_identifier"},"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-01T00:37:11.892464Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.892464Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:cc541fd420d621b77da1c99390083c4c0a30aa67859194cbeaee83613a392f0d","observation_id":"d4932ecc-073f-48f1-a2be-0e58f44d1dd2","resolution":{"observed_at":"2026-08-01T00:37:11.892464Z","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-01T00:37:12.005175Z","title":"2005.Comprehensive functional verification: The complete industry cycle","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:12.005175Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:b063ff20db82882320ef7eada10e7c09ec9e59ee5db21febf3261cb9db994b87","observation_id":"72a8ee66-ddea-4473-9f36-39a7ad05feb5","resolution":{"observed_at":"2026-08-01T00:37:12.005175Z","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-01T00:37:12.105155Z","title":"2008.Functional verification coverage measurement and analysis","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:12.105155Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:5abcdb02476a2b4600993ef5ef7f81ad5b5fb058703d28e81aa119e633c0a816","observation_id":"05f49f19-4baa-42d3-b350-b3077f4d3fd6","resolution":{"observed_at":"2026-08-01T00:37:12.105155Z","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-01T00:37:12.226276Z","title":"2023.VCS Functional Verification Solution","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:12.226276Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:01d42522befbaacd274dbcbcb5ea49ca77c9cfa586c24f891608760e3f2fc8be","observation_id":"1e85d21f-6d53-48b1-9cbd-3aa4b41bfb02","resolution":{"observed_at":"2026-08-01T00:37:12.226276Z","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-01T00:37:12.360971Z","title":"2023.Xcelium Logic Simulator","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:12.360971Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:0c7f5eb7625b157e3a12d5cd886172fb7c267f400a61db17869c1a1eec451cb5","observation_id":"46f33e7f-98e4-4d0c-84b5-f28c91e45e09","resolution":{"observed_at":"2026-08-01T00:37:12.360971Z","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-01T00:37:12.479272Z","title":"2025.Welcome to cocotb’s Documentation!cocotb","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:12.479272Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:c7356095d94fc45e975fb5ff88d58eb8286af7cfab117554222e526a083760a9","observation_id":"fd078915-4254-4b0e-8830-e1eea07dc7a5","resolution":{"observed_at":"2026-08-01T00:37:12.479272Z","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-01T00:37:12.621268Z","title":"The Verilator Project","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:12.621268Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:2df5bd1fc6ab05a1537ba8d944473d659f784f7a9b852e44de9a8403399dad24","observation_id":"4c748b6c-1cc3-4196-b89a-79c84645df7e","resolution":{"observed_at":"2026-08-01T00:37:12.621268Z","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-01T00:37:12.742357Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:12.742357Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:55194a9fca503b9a3d05f5f41780e2b9c0a122a9a5717a65e47539a749380084","observation_id":"97a2d24b-82cf-45f1-addb-78e61d265303","resolution":{"observed_at":"2026-08-01T00:37:12.742357Z","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-01T00:37:12.893293Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:12.893293Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:b8efb2b251f6901cb1962f2a1e485c0a79ce82c4729d1eb201125f8bb2445a81","observation_id":"ba1715b1-6572-4d15-a9e2-0135f7ac86df","resolution":{"observed_at":"2026-08-01T00:37:12.893293Z","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-01T00:37:12.999571Z","title":"2025.CodeBuddy Documentation: IDE User Guide Overview","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:12.999571Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:ffa644a53c1e85a593c294a9cb17f3986c23d06abf7dc2edb5cc7d56ed6f7dcc","observation_id":"3b4693fd-9593-4445-92f2-848dd9399f57","resolution":{"observed_at":"2026-08-01T00:37:12.999571Z","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-01T00:37:13.151288Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:13.151288Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:8909516e72677f825e3c23c57c1b3fb0c53b62d93ddca36e0c3287b4ea5c079f","observation_id":"87e92f0c-c7ae-481e-bd6c-dabac8da8d83","resolution":{"observed_at":"2026-08-01T00:37:13.151288Z","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-01T00:37:13.285483Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:13.285483Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:459875f0a2dc867b3570255acba84f7aced3a57307e54b153767d9e265a06c2e","observation_id":"3fa59d40-75c8-4390-929c-76e4202f7858","resolution":{"observed_at":"2026-08-01T00:37:13.285483Z","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-01T00:37:13.425870Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:13.425870Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:1c181d94eeac3302741a3dfbc3c07a6cbacf50373ca3e66d7b531bfb6c0cddf9","observation_id":"5d8e54fd-1a46-4534-ae0a-eb81db1fc4b4","resolution":{"observed_at":"2026-08-01T00:37:13.425870Z","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-01T00:37:13.513635Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:13.513635Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:bf562866cca402f378b8a9441d55bd249e5fed20b4e3b3fe5c8395c958ef75a7","observation_id":"b9fbcb43-4429-43d3-bb71-44b37745beea","resolution":{"observed_at":"2026-08-01T00:37:13.513635Z","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-01T00:37:13.590535Z","title":"2012.DE0-Nano SDRAM Controller","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:13.590535Z"},"links":{"citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:bfd96c20f2bb274a37907dcd87edb0f93d575f255fe23d5477e8db6e5368a076","observation_id":"68e90430-340e-4ff9-85d6-fe6b7025c22f","resolution":{"observed_at":"2026-08-01T00:37:13.590535Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":25,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":28},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2607.26181."}