Paper Citation Record · LEDGER

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models

As of 7 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2508.13257.

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

pith.paper-citation-record.v1
2508.13257 v1

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T19:11:48.144775Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+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

25 of 25 outbound references displayed

verified exact1
verified fuzzy2
unresolved22
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0d7607e9-86e3-464a-bf7b-1782549a5b45 · outbound

This paper cites M.; Ashtiani, M.; and Bakhshi, F.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models M.; Ashtiani, M.; and Bakhshi, F

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T19:11:52.194122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 17c3e772-76e7-4704-9ec9-74322f1ecb8a · outbound

This paper cites GPT-4 Technical Report.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models GPT-4 Technical Report

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-05T19:11:45.885674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73961d5a-8e7d-4b7b-a6d5-a154b2e0ef5d · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:52.044425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 6272daa1-33f0-45d8-a93a-b107e40362d1 · outbound

This paper cites R.; Safari, Y.; Zhang, Z.; and Vaisband, B.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models R.; Safari, Y.; Zhang, Z.; and Vaisband, B

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T19:11:51.776098Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 05116b42-79f4-4fc3-940f-f810ad805db0 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:51.561095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f0d8496b-fd70-4ddf-bd75-9b2dc8f7f3ef · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:51.393970Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 8f3a2552-9d06-4dbd-9eb9-6abc9d841581 · outbound

This paper cites W.; Zhang, H.; and Xie, Z.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models W.; Zhang, H.; and Xie, Z

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-05T19:11:46.276811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ed610a6-7dfc-4984-a24b-30e6e51c5b70 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:51.170875Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 48005cba-918b-4d41-8af0-7ffaa51fcc52 · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T19:11:46.477204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99311488-e778-4645-a9ca-444e6cef04b1 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:50.983319Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 180a5ad8-6acd-4872-99a8-92904eda2974 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:50.756358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation b6d987ad-3ac8-4059-9f74-a1ece9f85dc3 · outbound

This paper cites S.; Servadei, L.; Kasi, V.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models S.; Servadei, L.; Kasi, V

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-05T19:11:46.789072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68ab3dfb-a6f4-4a2d-87c8-896c7894a1b2 · outbound

This paper cites Timing Analysis Agent: Autonomous Multi-Corner Multi-Mode (MCMM) Timing Debugging with Timing Debug Relation Graph.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Timing Analysis Agent: Autonomous Multi-Corner Multi-Mode (MCMM) Timing Debugging with Timing Debug Relation Graph

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-08-05T19:11:48.391677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ae7b4037-67d5-4183-892e-e3a064880c6b · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:50.544896Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 0026f6bb-5b3d-4b83-8f4e-02bf1863ae70 · outbound

This paper cites Knowledge-Enhanced Program Repair for Data Science Code.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Knowledge-Enhanced Program Repair for Data Science Code

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-05T19:11:46.999150Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9671a41f-e628-4a61-a054-2bac9c3ed099 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:50.272743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 9e7eb878-5bf8-4164-b82d-8c382fa41184 · outbound

This paper cites SpecRover: Code Intent Extraction via LLMs.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models SpecRover: Code Intent Extraction via LLMs

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-05T19:11:47.272117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3791e13c-6d07-4e41-a2a2-e9e3fcd1d453 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:49.916770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 7de1c15b-098e-4fa5-a5b1-63d41a3f7863 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:49.682096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation fd77072e-0de6-4b71-8951-8bfdd4e7d184 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:49.487218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e1aa5969-2556-4ae1-863b-2d98ebdf1977 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:49.278713Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation b0d11c55-c1a6-4e5c-92e5-76d5c31831b4 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:49.105313Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation d8c066b8-b63e-452e-99f0-ab5635c61749 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:48.895932Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e9f7cce6-89ee-4aa8-a6fa-c89d87a50612 · outbound

This paper cites an unresolved cited work.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-05T19:11:48.757260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation c77b7aa7-d0d3-4496-85a9-4dbcae3924b7 · outbound

This paper cites write newline.

ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models write newline

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-05T19:11:48.144775Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.