Paper Citation Record · LEDGER

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms

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

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

pith.paper-citation-record.v1
2607.20638 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T09:49:36.528502Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

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

32 of 32 outbound references displayed

verified exact0
verified fuzzy0
unresolved32
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ab6a6963-118d-40a3-8289-5ab2ef1a9a12 · outbound

This paper cites ChipBench: A Next-Step Benchmark for Evaluating LLM Performance in AI-Aided Chip Design,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms ChipBench: A Next-Step Benchmark for Evaluating LLM Performance in AI-Aided Chip Design,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.436874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3743aa8c-dbf4-446c-a8af-893250ef82a5 · outbound

This paper cites AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi- LLMs,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi- LLMs,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.443104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26f63ba6-2e25-49cc-ad7a-93c2a3216dbe · outbound

This paper cites an unresolved cited work.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.446508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b4d829b-1712-4bc7-9edd-a892f88197f8 · outbound

This paper cites gtkwave/gtkwave,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms gtkwave/gtkwave,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.449651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c59b83b-ca9f-4ee9-9fb3-4c2f8c39e01b · outbound

This paper cites FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.452399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29bc0d5a-2cfb-45d2-8d29-963099670712 · outbound

This paper cites PicoRV32 – A Size-Optimized RISC-V CPU,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms PicoRV32 – A Size-Optimized RISC-V CPU,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.455223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad128ffd-4be2-4f4d-84f7-ef566c1aa7a8 · outbound

This paper cites DarkRISCV – Open-Source RISC-V CPU in Verilog,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms DarkRISCV – Open-Source RISC-V CPU in Verilog,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.458032Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ca15539-93fd-469f-a307-dceec4a82012 · outbound

This paper cites Ibex–ASmall32-BitRISC-VCPU Core,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Ibex–ASmall32-BitRISC-VCPU Core,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.460889Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51ed757c-c1ab-41ae-87d0-d7d7832c782c · outbound

This paper cites SERV – Award-Winning Bit-Serial RISC-V Core,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms SERV – Award-Winning Bit-Serial RISC-V Core,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.463842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94df65eb-a5f4-45df-a558-4dce974b912d · outbound

This paper cites biRISC-V – 32-Bit Dual-Issue RISC-V CPU,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms biRISC-V – 32-Bit Dual-Issue RISC-V CPU,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.467063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 249b9970-8680-4c4d-b042-f9f96f7876db · outbound

This paper cites Claude 4.5 Sonnet,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Claude 4.5 Sonnet,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.469820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57e6fc6e-e315-4ecd-8a3d-3887d6f6de24 · outbound

This paper cites Claude Sonnet 4.6,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Claude Sonnet 4.6,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.472958Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 975773b5-c2d6-4a08-97f3-3f20547ae34b · outbound

This paper cites Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.475580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ee356a1-49ff-4ba0-b673-f83fab1aabc5 · outbound

This paper cites Qwen3 Technical Report.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Qwen3 Technical Report

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.478621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1014def-caff-472e-8c42-e7a4f20254d1 · outbound

This paper cites A Dataset for Answering Time-Sensitive Questions.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms A Dataset for Answering Time-Sensitive Questions

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.481860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26386c8f-67c4-4de4-9191-283b43ea592b · outbound

This paper cites TempQuestions: A Benchmark for Temporal Question Answering,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms TempQuestions: A Benchmark for Temporal Question Answering,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.484688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46f92dea-69bd-4515-98cd-0aa53042efce · outbound

This paper cites TimeBench: A Comprehensive Evaluation of Temporal Reasoning Abilities in Large Language Models,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms TimeBench: A Comprehensive Evaluation of Temporal Reasoning Abilities in Large Language Models,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.487577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99a0c0a5-fd61-4c00-bc51-8806a37aff82 · outbound

This paper cites LTLBench: Towards Benchmarks for Evaluating Temporal Reasoning in Large Language Models,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms LTLBench: Towards Benchmarks for Evaluating Temporal Reasoning in Large Language Models,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.490333Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d191a0a2-f89d-49c1-82b5-ad8d64d0ab30 · outbound

This paper cites TemporalBench: A Benchmark for Evaluating LLM-Based Agents on Contextual and Event-Informed Time Series Tasks,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms TemporalBench: A Benchmark for Evaluating LLM-Based Agents on Contextual and Event-Informed Time Series Tasks,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.492659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7290a414-d2d5-424b-9c5c-5d5fee9b49ef · outbound

This paper cites TRAM: Benchmarking Temporal Reasoning for Large Language Models.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms TRAM: Benchmarking Temporal Reasoning for Large Language Models

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.498551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9dbbd5dc-b430-4e26-965b-fb044e6939eb · outbound

This paper cites Available: https://arxiv.org/abs/2602.13272.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Available: https://arxiv.org/abs/2602.13272

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.495591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fadea7a6-434b-4fc5-bd31-c33dcbceeec9 · outbound

This paper cites VerilogEval: Evaluating Large Language Models for Verilog Code Generation.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms VerilogEval: Evaluating Large Language Models for Verilog Code Generation

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.505128Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55d22953-cded-4031-aa53-77c87511840e · outbound

This paper cites OpenLLM-RTL: Open Dataset and Benchmark for LLM-Aided Design RTL Generation,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms OpenLLM-RTL: Open Dataset and Benchmark for LLM-Aided Design RTL Generation,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.502100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0431fb3-6e51-47d2-89c8-a9def0d904cb · outbound

This paper cites An Iteratively-refined Dataset for High-Level Synthesis Functional Verification through LLM-Aided Bug Injection,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms An Iteratively-refined Dataset for High-Level Synthesis Functional Verification through LLM-Aided Bug Injection,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.510639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edf58dad-29f7-4c4d-8ebd-15bd438762b6 · outbound

This paper cites MEIC: Re-thinking RTL Debug Automation using LLMs,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms MEIC: Re-thinking RTL Debug Automation using LLMs,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.508019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e3724ca-e06b-4db7-93da-7385d84d5f1e · outbound

This paper cites Icarus Verilog — Icarus Verilog documentation,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Icarus Verilog — Icarus Verilog documentation,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.517094Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cbeba81-2246-4b93-9d3b-ff6166a9a558 · outbound

This paper cites Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.513836Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f73112e1-9fc4-4a16-ad54-a7673b41e35e · outbound

This paper cites 1364-2005, 2005, section 18: Value Change Dump (VCD) files.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms 1364-2005, 2005, section 18: Value Change Dump (VCD) files

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.526079Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4275a82d-bba0-4388-b107-5808dd20f2b1 · outbound

This paper cites LLM Dataset Formats 101: A no‐bs guide for hugging face DEVS,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms LLM Dataset Formats 101: A no‐bs guide for hugging face DEVS,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.528502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e49519aa-3f27-48b2-b52b-37408f81222d · outbound

This paper cites Verilator: Open-source SystemVerilog simulator and lint system,.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Verilator: Open-source SystemVerilog simulator and lint system,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.522955Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b922d435-699e-450a-8d7d-b9d980dd0518 · outbound

This paper cites Available: https://steveicarus.github.io/ iverilog/.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Available: https://steveicarus.github.io/ iverilog/

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.520067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0021d213-3e54-4342-90ad-6be1149f1c6e · outbound

This paper cites Available: https://arxiv.org/abs/2601.21448.

WaveformQA: Benchmarking LLM Temporal Reasoning on Digital Waveforms Available: https://arxiv.org/abs/2601.21448

Reference 2026

Resolution: unresolved; no resolver link, observed 2026-08-01T09:49:36.440149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.