Paper Citation Record · LEDGER

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.26181 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T00:37:13.590535Z

measured 28 of 28 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

28 of 28 outbound references displayed

verified exact0
verified fuzzy0
unresolved25
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d96112a6-3406-44ec-9608-65cb77263055 · outbound

This paper cites IEEE Standard for Universal Verification Methodology Language Reference Manual.IEEE Std 1800.2-2017(2017), 1–472.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure IEEE Standard for Universal Verification Methodology Language Reference Manual.IEEE Std 1800.2-2017(2017), 1–472

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:10.989313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f119343c-0c65-4b5b-a29a-a07cc510c3c3 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:11.032226Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e97918c-57ba-4964-8989-4aed572a4431 · outbound

This paper cites 2003.Writing Testbenches: Functional Verification of HDL Models.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure 2003.Writing Testbenches: Functional Verification of HDL Models

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:11.119352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc0ef607-beab-41d7-b9dc-460e9105ad05 · outbound

This paper cites 2008.SystemVerilog for Verification: A Guide to Learning the Testbench Language Features.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure 2008.SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:11.193606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca4144e8-e729-4aae-9dda-cdab98d86ea2 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-01T00:37:11.253828Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fef410a-46b2-423a-bea8-f4f2b1c09d92 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:11.325026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c25ae763-b95d-4f83-84a0-2a44d3224ac8 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:11.362012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e273058-f2bd-4bb3-abf1-705dbf4eddd4 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:11.426881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a987385-b8a0-467e-856e-29ac687c7826 · outbound

This paper cites Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:11.496655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87eb6e08-e678-4bbf-8075-688d14557ae8 · outbound

This paper cites Using LLMs to Facilitate Formal Verification of RTL.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Using LLMs to Facilitate Formal Verification of RTL

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:11.599274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcda3a45-25f8-492f-ac78-ae9b609722e3 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 11

Resolution: malformed identifier; no resolver link, observed 2026-08-01T00:37:11.641610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad0bae58-d6b2-4d3e-9563-1b8d23dd2235 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:11.697529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64411611-629f-453b-96d6-4b8d03ef5620 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 13

Resolution: malformed identifier; no resolver link, observed 2026-08-01T00:37:11.776249Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4932ecc-073f-48f1-a2be-0e58f44d1dd2 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:11.892464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72a8ee66-ddea-4473-9f36-39a7ad05feb5 · outbound

This paper cites 2005.Comprehensive functional verification: The complete industry cycle.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure 2005.Comprehensive functional verification: The complete industry cycle

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:12.005175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05f49f19-4baa-42d3-b350-b3077f4d3fd6 · outbound

This paper cites 2008.Functional verification coverage measurement and analysis.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure 2008.Functional verification coverage measurement and analysis

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:12.105155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e85d21f-6d53-48b1-9cbd-3aa4b41bfb02 · outbound

This paper cites 2023.VCS Functional Verification Solution.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure 2023.VCS Functional Verification Solution

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:12.226276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46f33e7f-98e4-4d0c-84b5-f28c91e45e09 · outbound

This paper cites 2023.Xcelium Logic Simulator.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure 2023.Xcelium Logic Simulator

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:12.360971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd078915-4254-4b0e-8830-e1eea07dc7a5 · outbound

This paper cites 2025.Welcome to cocotb’s Documentation!cocotb.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure 2025.Welcome to cocotb’s Documentation!cocotb

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:12.479272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c748b6c-1cc3-4196-b89a-79c84645df7e · outbound

This paper cites The Verilator Project.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure The Verilator Project

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:12.621268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97a2d24b-82cf-45f1-addb-78e61d265303 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:12.742357Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba1715b1-6572-4d15-a9e2-0135f7ac86df · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:12.893293Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b4693fd-9593-4445-92f2-848dd9399f57 · outbound

This paper cites 2025.CodeBuddy Documentation: IDE User Guide Overview.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure 2025.CodeBuddy Documentation: IDE User Guide Overview

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:12.999571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87e92f0c-c7ae-481e-bd6c-dabac8da8d83 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:13.151288Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fa59d40-75c8-4390-929c-76e4202f7858 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:13.285483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d8e54fd-1a46-4534-ae0a-eb81db1fc4b4 · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:13.425870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9fbcb43-4429-43d3-bb71-44b37745beea · outbound

This paper cites an unresolved cited work.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:13.513635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68e90430-340e-4ff9-85d6-fe6b7025c22f · outbound

This paper cites 2012.DE0-Nano SDRAM Controller.

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure 2012.DE0-Nano SDRAM Controller

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T00:37:13.590535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.